Test for incomplete code_typet construction

NathanJPhillips · Jun 5, 2018 · 29bf299 · 29bf299
1 parent 05a5efb
commit 29bf299
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/jbmc/regression/jdiff/java-clinit-wrapper/new.jar b/jbmc/regression/jdiff/java-clinit-wrapper/new.jar
diff --git a/jbmc/regression/jdiff/java-clinit-wrapper/old.jar b/jbmc/regression/jdiff/java-clinit-wrapper/old.jar
diff --git a/jbmc/regression/jdiff/java-clinit-wrapper/test.desc b/jbmc/regression/jdiff/java-clinit-wrapper/test.desc
@@ -0,0 +1,8 @@
+CORE
+new.jar
+old.jar
+EXIT=0
+SIGNAL=0
+--
+java::java\.nio\.charset\.StandardCharsets::clinit_wrapper$
+java::org\.apache\.tika\.mime\.MediaType::clinit_wrapper$