Skip to content

Commit cd53657

Browse files
peterschrammelpeterschrammel
committed
Remove jbmc-cover tests
1 parent 785716f commit cd53657

18 files changed

+0
-159
lines changed

‎jbmc/regression/CMakeLists.txt‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,4 @@ add_subdirectory(jdiff)
1010
add_subdirectory(janalyzer-taint)
1111
add_subdirectory(jbmc-concurrency)
1212
add_subdirectory(jbmc-inheritance)
13-
add_subdirectory(jbmc-cover)
1413
add_subdirectory(jbmc-generics)

‎jbmc/regression/Makefile‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44
DIRS = janalyzer-taint \
55
jbmc \
66
jbmc-concurrency \
7-
jbmc-cover \
87
jbmc-inheritance \
98
jbmc-strings \
109
jdiff \

‎jbmc/regression/jbmc-cover/CMakeLists.txt‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/Makefile‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/covered1/covered1.class‎

-750 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/covered1/covered1.java‎

Lines changed: 0 additions & 37 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/covered1/test.desc‎

Lines changed: 0 additions & 33 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/generics/AbstractImpl.class‎

-466 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/generics/AbstractInt.class‎

-240 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/generics/AbstractTest$ClassA.class‎

-349 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)