Skip to content

Instantly share code, notes, and snippets.

@louisrli
Created November 4, 2014 20:01
Show Gist options
  • Save louisrli/25991f0395df402a71bc to your computer and use it in GitHub Desktop.
Save louisrli/25991f0395df402a71bc to your computer and use it in GitHub Desktop.
Exception in thread "main" java.lang.UnsatisfiedLinkError: edu.nyu.acsys.CVC4.CVC4JNI.ExprManager_SORT_FLAG_NONE_get()I
at edu.nyu.acsys.CVC4.CVC4JNI.ExprManager_SORT_FLAG_NONE_get(Native Method)
at edu.nyu.acsys.CVC4.ExprManager.<clinit>(ExprManager.java:378)
at analysis.stringconstraint.translation.cvc4.CVC4StringSolver.<init>(CVC4StringSolver.java:19)
at main.AccrueAnalysisMain.main(AccrueAnalysisMain.java:339)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment