Remove jbmc-cover tests

Author: peterschrammel

jbmc/regression/CMakeLists.txt

@@ -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)

jbmc/regression/Makefile

@@ -4,7 +4,6 @@
 DIRS = janalyzer-taint \
        jbmc \
        jbmc-concurrency \
-       jbmc-cover \
        jbmc-inheritance \
        jbmc-strings \
        jdiff \