Fix core models test

org.cprover.* methods are not part of the core models
and are therefore not necessarily on the classpath.
Therefore the test should test for the presence of
another class that will always be part of the core
models.

Author: peterschrammel

jbmc/regression/jbmc/coreModels/test.class

@@ -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\.\<clinit\>\:\(\)V$
+^Symbol\s*\.*\: java\:\:java.lang.Throwable\.\<clinit\>\:\(\)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 static initializer for the Throwable class was loaded

jbmc/regression/jbmc/coreModels/test.desc

@@ -1,10 +1,8 @@
-import org.cprover.CProver;
 class test
 {
-  public static void main(String[] args)
+  public static void main(String[] args) throws Exception
   {
-    int i=CProver.nondetInt();
-    assert(i!=0);
+    throw new Exception();
   }
 }