Added regression tests

Author: NathanJPhillips

regression/cbmc-java/trace_options_json_extended/Test.class

@@ -0,0 +1,5 @@
+public class Test {
+    public static void main(int x) {
+        assert(x == 0);
+    }
+}

regression/cbmc-java/trace_options_json_extended/Test.java

@@ -0,0 +1,7 @@
+CORE
+Test.class
+--trace --json-ui --trace-json-extended
+^EXIT=10$
+^SIGNAL=0$
+rawLhs
+--

regression/cbmc-java/trace_options_json_extended/extended.desc

@@ -0,0 +1,7 @@
+CORE
+Test.class
+--trace --json-ui
+^EXIT=10$
+^SIGNAL=0$
+--
+rawLhs

regression/cbmc-java/trace_options_json_extended/non-extended.desc

@@ -0,0 +1,7 @@
+CORE
+test.c
+--trace --json-ui --trace-json-extended
+^EXIT=10$
+^SIGNAL=0$
+rawLhs
+--

regression/cbmc/trace_options_json_extended/extended.desc

@@ -0,0 +1,7 @@
+CORE
+test.c
+--trace --json-ui
+^EXIT=10$
+^SIGNAL=0$
+--
+rawLhs

regression/cbmc/trace_options_json_extended/non-extended.desc

@@ -0,0 +1,6 @@
+#include <assert.h>
+
+int main(int argc, char *argv[])
+{
+  assert(argc == 0);
+}