Skip to content

Instantly share code, notes, and snippets.

@louisrli
Created November 5, 2014 04:58
Show Gist options
  • Save louisrli/fd8bb4cda77c9faf16aa to your computer and use it in GitHub Desktop.
Save louisrli/fd8bb4cda77c9faf16aa to your computer and use it in GitHub Desktop.
Exception in thread "main" Error in option parsing: Unrecognized informational or option key or setting: interactive-prompt
at edu.nyu.acsys.CVC4.CVC4JNI.SmtEngine_setOption(Native Method)
at edu.nyu.acsys.CVC4.SmtEngine.setOption(SmtEngine.java:72)
at analysis.stringconstraint.translation.cvc4.CVC4StringSolver.<init>(CVC4StringSolver.java:28)
at main.AccrueAnalysisMain.main(AccrueAnalysisMain.java:343)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment