gistfile1.txt

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.backend.java.kil.BuiltinListTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.218 sec - in org.kframework.backend.java.kil.BuiltinListTest
Running org.kframework.backend.java.kil.BuiltinMapTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.043 sec - in org.kframework.backend.java.kil.BuiltinMapTest
Running org.kframework.backend.java.kil.JavaSymbolicObjectTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.363 sec - in org.kframework.backend.java.kil.JavaSymbolicObjectTest
Running org.kframework.backend.java.builtins.BuiltinFloatOperationsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.088 sec - in org.kframework.backend.java.builtins.BuiltinFloatOperationsTest
Running org.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.364 sec - in org.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest
Running org.kframework.backend.java.symbolic.UseSMTTest
${env.LD_LIBRARY_PATH}:/data/users/beng/k/java-backend/target/lib/native:/usr/java/packages/lib/amd64:/usr/lib64:/lib64:/lib:/usr/lib
Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0.073 sec <<< FAILURE! - in org.kframework.backend.java.symbolic.UseSMTTest
testGetModel(org.kframework.backend.java.symbolic.UseSMTTest)  Time elapsed: 0.057 sec  <<< ERROR!
java.lang.UnsatisfiedLinkError: /data/users/beng/k/java-backend/target/lib/native/libz3java.so: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found (required by /data/users/beng/k/java-backend/target/lib/native/libz3.so)
        at java.lang.ClassLoader$NativeLibrary.load(Native Method)
        at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1938)
        at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1854)
        at java.lang.Runtime.loadLibrary0(Runtime.java:870)
        at java.lang.System.loadLibrary(System.java:1122)
        at com.microsoft.z3.Native.<clinit>(Native.java:10)
        at com.microsoft.z3.Context.<init>(Context.java:24)
        at org.kframework.backend.java.symbolic.UseSMT.checkSat(UseSMT.java:44)
        at org.kframework.backend.java.symbolic.UseSMTTest.testGetModel(UseSMTTest.java:52)

Running org.kframework.backend.java.util.ConjunctionDisjunctionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 sec - in org.kframework.backend.java.util.ConjunctionDisjunctionTest

Results :

Tests in error: 
  UseSMTTest.testGetModel:52 » UnsatisfiedLink /data/users/beng/k/java-backend/t...

Tests run: 13, Failures: 0, Errors: 1, Skipped: 0

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] K Framework Tool Parent ............................ SUCCESS [ 16.115 s]
[INFO] K Framework KORE ................................... SUCCESS [ 49.609 s]
[INFO] K Framework tiny rewriter .......................... SUCCESS [ 33.519 s]
[INFO] K Framework Tool Kernel ............................ SUCCESS [ 45.228 s]
[INFO] K Framework Java Backend ........................... FAILURE [ 18.137 s]
[INFO] K Framework Ocaml Backend .......................... SKIPPED
[INFO] K Framework Coq Backend ............................ SKIPPED
[INFO] K Framework SDF Backend ............................ SKIPPED
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:42 min
[INFO] Finished at: 2015-09-22T12:19:42-07:00
[INFO] Final Memory: 70M/1905M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.17:test (default-test) on project java-backend: There are test failures.