java.lang.Error: Simplify error: Bad input: Cannot use OR as a function symbol. on (OR)

Google Groups | Tanzeem Bin Noor | 2 years ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    Need to use Logical Compare feature of Daikon

    Google Groups | 2 years ago | Tanzeem Bin Noor
    java.lang.Error: Simplify error: Bad input: Cannot use OR as a function symbol. on (OR)

    Root Cause Analysis

    1. java.lang.Error

      Simplify error: Bad input: Cannot use OR as a function symbol. on (OR)

      at daikon.simplify.SessionManager.request()
    2. daikon.simplify
      LemmaStack.checkForContradiction
      1. daikon.simplify.SessionManager.request(SessionManager.java:87)
      2. daikon.simplify.LemmaStack.checkString(LemmaStack.java:171)
      3. daikon.simplify.LemmaStack.checkForContradiction(LemmaStack.java:194)
      3 frames
    3. daikon.tools.compare
      LogicalCompare.main
      1. daikon.tools.compare.LogicalCompare.evaluateImplications(LogicalCompare.java:334)
      2. daikon.tools.compare.LogicalCompare.comparePpts(LogicalCompare.java:475)
      3. daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:798)
      4. daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:574)
      4 frames