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

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via Google Groups by Tanzeem Bin Noor, 1 year ago
Simplify error: Bad input: Cannot use OR as a function symbol. on (OR)
java.lang.Error: Simplify error: Bad input: Cannot use OR as a function symbol. on (OR)
at daikon.simplify.SessionManager.request(SessionManager.java:87)
at daikon.simplify.LemmaStack.checkString(LemmaStack.java:171)
at daikon.simplify.LemmaStack.checkForContradiction(LemmaStack.java:194)
at daikon.tools.compare.LogicalCompare.evaluateImplications(LogicalCompare.java:334)
at daikon.tools.compare.LogicalCompare.comparePpts(LogicalCompare.java:475)
at daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:798)
at daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:574)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.