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
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards 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