Add missing EXIT or SIGNAL specifications

We should always check for these to avoid spuriously passing tests.

Author: tautschnig

jbmc/regression/jbmc-concurrency/anonymous-java.lang.thread/test2.desc

@@ -1,5 +1,6 @@
 CORE
 A.class
 --function 'A.me2:()V' --java-threading --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc-concurrency/explicit-thread-blocks/test2.desc

@@ -1,5 +1,6 @@
 CORE
 A.class
 --function 'A.me2:()V' --java-threading
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED

jbmc/regression/jbmc-concurrency/java-lang-runnable/test2.desc

@@ -1,5 +1,6 @@
 CORE
 A.class
 --function 'A.me2:()V' --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED

jbmc/regression/jbmc-concurrency/java-lang-thread/test2.desc

@@ -1,5 +1,6 @@
 CORE
 A.class
 --function 'A.me2:()V' --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc-concurrency/several-threads/test2.desc

@@ -1,5 +1,6 @@
 CORE
 A.class
 --function A.me2 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc-concurrency/synchronized-blocks-null-throw/test.desc

@@ -1,6 +1,8 @@
 KNOWNBUG
 Sync.class
 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
+^EXIT=0$
+^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring

jbmc/regression/jbmc-concurrency/synchronized-blocks-throw/test.desc

@@ -1,6 +1,8 @@
 KNOWNBUG
 Sync.class
 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
+^EXIT=0$
+^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring

jbmc/regression/jbmc-concurrency/synchronized-blocks/test1.desc

@@ -1,6 +1,8 @@
 CORE
 A.class
 --function 'A.me0:()V' --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --show-goto-functions --java-threading
+^EXIT=0$
+^SIGNAL=0$
 ATOMIC_BEGIN
 ATOMIC_END
 --

jbmc/regression/jbmc-concurrency/synchronized-methods/test1.desc

@@ -1,6 +1,8 @@
 CORE
 A.class
 --function 'A.me1:()V' --java-threading --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --show-goto-functions
+^EXIT=0$
+^SIGNAL=0$
 ATOMIC_BEGIN
 ATOMIC_END
 --

jbmc/regression/jbmc-concurrency/synchronized-methods/test2.desc

@@ -1,6 +1,8 @@
 CORE
 A.class
 --function 'A.me1:()V' --java-threading --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --show-goto-functions
+^EXIT=0$
+^SIGNAL=0$
 ATOMIC_BEGIN
 ATOMIC_END
 --