From d7ef0bc201c2351cad2f8c51e5b0a939a622c092 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 23 Jun 2018 15:01:21 +0000 Subject: [PATCH] Fix coreModels test to match latest java models library As of the update in https://github.com/diffblue/java-models-library/pull/5 cprover.CProver no longer has a static initializer. --- jbmc/regression/jbmc/coreModels/test.desc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/jbmc/regression/jbmc/coreModels/test.desc b/jbmc/regression/jbmc/coreModels/test.desc index 4d3f33bf979..4bda1b0ed61 100644 --- a/jbmc/regression/jbmc/coreModels/test.desc +++ b/jbmc/regression/jbmc/coreModels/test.desc @@ -3,7 +3,7 @@ test.class --show-symbol-table --cp ../../../src/java_bytecode/library/core-models.jar:. ^EXIT=0$ ^SIGNAL=0$ -^Symbol\s*\.*\: java\:\:org\.cprover\.CProver\.\\:\(\)V$ +^Symbol\s*\.*\: java\:\:org\.cprover\.CProver\.\\:\(\)V$ -- -- -tests that the core models are being loaded by checking if the static initializer for the CProver class was +tests that the core models are being loaded by checking if the constructor for the CProver class was