Update jbmc/lib/java-models-library to #11 (enable-monitor-exceptions)

Allows to detect errors related to synchronization on null references, for example. Fixes diffblue#1236.
peterschrammel · Nov 14, 2018 · bc9256a · bc9256a
1 parent ef0a5fc
commit bc9256a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
diff --git a/jbmc/regression/jbmc/synchronized/test.desc b/jbmc/regression/jbmc/synchronized/test.desc
@@ -1,10 +1,9 @@
-KNOWNBUG
+CORE
 Sync.class
-
+--java-threading --throw-runtime-exceptions --cp `../../../../scripts/format_classpath.sh . ../../../src/java_bytecode/library/core-models.jar`
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
 --
-See #1236 for details of this test.