java.lang.RuntimeException: Could not find simplify/daikon-background.txt

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
Could not find simplify/daikon-background.txt
java.lang.RuntimeException: Could not find simplify/daikon-background.txt
at daikon.simplify.SessionManager.proverBackground(SessionManager.java:111)
at daikon.simplify.SessionManager.attemptProverStartup(SessionManager.java:158)
at daikon.simplify.LemmaStack.startProver(LemmaStack.java:94)
at daikon.simplify.LemmaStack.(LemmaStack.java:113)
at daikon.tools.compare.LogicalCompare.startProver(LogicalCompare.java:400)
at daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:752)
at daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:570)

Users with the same issue

You are the first who have seen this exception.

Write tip

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