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
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  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