./jbmc --propertyfile ../git-sv-benchmarks/java/ReachSafety.prp ../git-sv-benchmarks/java/jbmc-regression/StringBuilderInsertDelete03_false-assert.jar


--------------------------------------------------------------------------------


./jbmc-binary --throw-runtime-exceptions --string-max-input-length 100 --classpath core-models.jar --graphml-witness /tmp/JBMC-log.tKL98s.witness --unwind 11 --stop-on-fail --64 --object-bits 11 --function Main.main ../git-sv-benchmarks/java/jbmc-regression/StringBuilderInsertDelete03_false-assert.jar
tail: cannot open '/tmp/JBMC-log.tKL98s.ok' for reading: No such file or directory