diffblue
diff --git a/‎jbmc/regression/CMakeLists.txt
Lines changed: 0 additions & 1 deletion b/‎jbmc/regression/CMakeLists.txt
Lines changed: 0 additions & 1 deletion
diff --git a/‎jbmc/regression/Makefile
Lines changed: 0 additions & 1 deletion b/‎jbmc/regression/Makefile
Lines changed: 0 additions & 1 deletion
diff --git a/‎jbmc/regression/jbmc-cover/CMakeLists.txt
Lines changed: 0 additions & 3 deletions b/‎jbmc/regression/jbmc-cover/CMakeLists.txt
Lines changed: 0 additions & 3 deletions
diff --git a/‎jbmc/regression/jbmc-cover/Makefile
Lines changed: 0 additions & 34 deletions b/‎jbmc/regression/jbmc-cover/Makefile
Lines changed: 0 additions & 34 deletions
diff --git a/‎jbmc/regression/jbmc-cover/covered1/covered1.class
-750 Bytes b/‎jbmc/regression/jbmc-cover/covered1/covered1.class
-750 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/covered1/covered1.java
Lines changed: 0 additions & 37 deletions b/‎jbmc/regression/jbmc-cover/covered1/covered1.java
Lines changed: 0 additions & 37 deletions
diff --git a/‎jbmc/regression/jbmc-cover/covered1/test.desc
Lines changed: 0 additions & 33 deletions b/‎jbmc/regression/jbmc-cover/covered1/test.desc
Lines changed: 0 additions & 33 deletions
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractImpl.class
-466 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractImpl.class
-466 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractInt.class
-240 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractInt.class
-240 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractTest$ClassA.class
-349 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractTest$ClassA.class
-349 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractTest$ClassB.class
-426 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractTest$ClassB.class
-426 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractTest$Dummy.class
-346 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractTest$Dummy.class
-346 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractTest.class
-943 Bytes b/‎jbmc/regression/jbmc-cover/generics/AbstractTest.class
-943 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/generics/AbstractTest.java
Lines changed: 0 additions & 27 deletions b/‎jbmc/regression/jbmc-cover/generics/AbstractTest.java
Lines changed: 0 additions & 27 deletions
diff --git a/‎jbmc/regression/jbmc-cover/generics/test.desc
Lines changed: 0 additions & 6 deletions b/‎jbmc/regression/jbmc-cover/generics/test.desc
Lines changed: 0 additions & 6 deletions
diff --git a/‎jbmc/regression/jbmc-cover/json_trace2/Test.class
-292 Bytes b/‎jbmc/regression/jbmc-cover/json_trace2/Test.class
-292 Bytes
diff --git a/‎jbmc/regression/jbmc-cover/json_trace2/Test.java
Lines changed: 0 additions & 7 deletions b/‎jbmc/regression/jbmc-cover/json_trace2/Test.java
Lines changed: 0 additions & 7 deletions
diff --git a/‎jbmc/regression/jbmc-cover/json_trace2/test.desc
Lines changed: 0 additions & 10 deletions b/‎jbmc/regression/jbmc-cover/json_trace2/test.desc
Lines changed: 0 additions & 10 deletions
@@ -10,5 +10,4 @@ add_subdirectory(jdiff)
 add_subdirectory(janalyzer-taint)
 add_subdirectory(jbmc-concurrency)
 add_subdirectory(jbmc-inheritance)
-add_subdirectory(jbmc-cover)
 add_subdirectory(jbmc-generics)
@@ -4,7 +4,6 @@
 DIRS = janalyzer-taint \
        jbmc \
        jbmc-concurrency \
-       jbmc-cover \
        jbmc-inheritance \
        jbmc-strings \
        jdiff \