diffblue · Apr 29, 2016
diff --git a/‎regression/cbmc-java/constructor1/A.class
-1 Bytes b/‎regression/cbmc-java/constructor1/A.class
-1 Bytes
diff --git a/‎regression/cbmc-java/constructor1/constructor1.class
-1 Bytes b/‎regression/cbmc-java/constructor1/constructor1.class
-1 Bytes
diff --git a/‎regression/cbmc-java/constructor1/sub.class
0 Bytes b/‎regression/cbmc-java/constructor1/sub.class
0 Bytes