diffblue
diff --git a/‎regression/cbmc-java/jsr1/edu/emory/mathcs/backport/java/util/concurrent/ConcurrentHashMap.class
9.38 KB b/‎regression/cbmc-java/jsr1/edu/emory/mathcs/backport/java/util/concurrent/ConcurrentHashMap.class
9.38 KB
diff --git a/‎regression/cbmc-java/jsr1/test.desc
Lines changed: 8 additions & 0 deletions b/‎regression/cbmc-java/jsr1/test.desc
Lines changed: 8 additions & 0 deletions
@@ -0,0 +1,8 @@
+CORE
+edu/emory/mathcs/backport/java/util/concurrent/ConcurrentHashMap.class
+--show-goto-functions
+^EXIT=0$
+^SIGNAL=0$
+--
+\\"statement\\" (\\"jsr\\")
+\\"statement\\" (\\"ret\\")