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 16, 2018 · e1b39c6 · e1b39c6
1 parent 6953507
commit e1b39c6
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.