diffblue
diff --git a/‎regression/cbmc-java/jar-file4/A.jar
721 Bytes b/‎regression/cbmc-java/jar-file4/A.jar
721 Bytes
diff --git a/‎regression/cbmc-java/jar-file4/B.jar
721 Bytes b/‎regression/cbmc-java/jar-file4/B.jar
721 Bytes
diff --git a/‎regression/cbmc-java/jar-file4/C.jar
934 Bytes b/‎regression/cbmc-java/jar-file4/C.jar
934 Bytes
diff --git a/‎regression/cbmc-java/jar-file4/jar.json
Lines changed: 12 additions & 0 deletions b/‎regression/cbmc-java/jar-file4/jar.json
Lines changed: 12 additions & 0 deletions
diff --git a/‎regression/cbmc-java/jar-file4/test.desc
Lines changed: 10 additions & 0 deletions b/‎regression/cbmc-java/jar-file4/test.desc
Lines changed: 10 additions & 0 deletions
@@ -0,0 +1,12 @@
+{
+  "jar":
+  [
+    "A.jar",
+    "B.jar"
+  ],
+  "classFiles":
+  [
+    "jarfile3$A.class",
+    "jarfile3.class"
+  ]
+}
@@ -0,0 +1,10 @@
+CORE
+C.jar
+--function jarfile3.f --java-cp-include-files "@jar.json"
+^EXIT=10$
+^SIGNAL=0$
+.*SUCCESS$
+.*FAILURE$
+^VERIFICATION FAILED
+--
+^warning: ignoring