Update desc file to add pass variables.

Author: JohnDumbell

regression/cbmc-java/assertion_error_constructors/test.desc

@@ -1,8 +1,8 @@
 CORE
 AssertionIssue.class
 --function AssertionIssue.throwAssertion
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
+^VERIFICATION FAILED$
 --
 ^warning: ignoring