Skip to content

Commit bc3f800

Browse files
author
Daniel Kroening
committed
move jbmc tests that use --cover
1 parent 9aa0600 commit bc3f800

File tree

107 files changed

+0
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

107 files changed

+0
-0
lines changed

‎regression/cbmc-java/array2/test.class renamed to ‎regression/java-cover/array2/test.class

File renamed without changes.

‎regression/cbmc-java/array2/test.desc renamed to ‎regression/java-cover/array2/test.desc

File renamed without changes.

‎regression/cbmc-java/array2/test.java renamed to ‎regression/java-cover/array2/test.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/A.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/A.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/A.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/A.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/FloatMultidim1.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/FloatMultidim1.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/FloatMultidim1.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/FloatMultidim1.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/FloatMultidim2.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/FloatMultidim2.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/FloatMultidim2.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/FloatMultidim2.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidim1.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidim1.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidim1.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidim1.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidim2.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidim2.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidim2.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidim2.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidimConstsize.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidimConstsize.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefMultidimConstsize.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefMultidimConstsize.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefSingledim.class renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefSingledim.class

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/RefSingledim.java renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/RefSingledim.java

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_float_multidim_1.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_float_multidim_1.desc

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_float_multidim_2.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_float_multidim_2.desc

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_ref_multidim_1.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_ref_multidim_1.desc

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_ref_multidim_2.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_ref_multidim_2.desc

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_ref_multidim_constsize.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_ref_multidim_constsize.desc

File renamed without changes.

‎regression/cbmc-java/array_nonconstsize_nonconstaccess/test_ref_singledim.desc renamed to ‎regression/java-cover/array_nonconstsize_nonconstaccess/test_ref_singledim.desc

File renamed without changes.

‎regression/cbmc-java/covered1/covered1.class renamed to ‎regression/java-cover/covered1/covered1.class

File renamed without changes.

‎regression/cbmc-java/covered1/covered1.java renamed to ‎regression/java-cover/covered1/covered1.java

File renamed without changes.

‎regression/cbmc-java/covered1/test.desc renamed to ‎regression/java-cover/covered1/test.desc

File renamed without changes.

‎regression/cbmc-java/dynamic-multi-dimensional-array/TestClass.class renamed to ‎regression/java-cover/dynamic-multi-dimensional-array/TestClass.class

File renamed without changes.

‎regression/cbmc-java/dynamic-multi-dimensional-array/TestClass.java renamed to ‎regression/java-cover/dynamic-multi-dimensional-array/TestClass.java

File renamed without changes.

‎regression/cbmc-java/dynamic-multi-dimensional-array/test.desc renamed to ‎regression/java-cover/dynamic-multi-dimensional-array/test.desc

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/A.class renamed to ‎regression/java-cover/generic_class_bound1/A.class

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/B.class renamed to ‎regression/java-cover/generic_class_bound1/B.class

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/C.class renamed to ‎regression/java-cover/generic_class_bound1/C.class

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/Gn.class renamed to ‎regression/java-cover/generic_class_bound1/Gn.class

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/Gn.java renamed to ‎regression/java-cover/generic_class_bound1/Gn.java

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/L.class renamed to ‎regression/java-cover/generic_class_bound1/L.class

File renamed without changes.

‎regression/cbmc-java/generic_class_bound1/test.desc renamed to ‎regression/java-cover/generic_class_bound1/test.desc

File renamed without changes.

‎regression/cbmc-java/generics_type_param/AWrapper.class renamed to ‎regression/java-cover/generics_type_param/AWrapper.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/FWrapper.class renamed to ‎regression/java-cover/generics_type_param/FWrapper.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/GenericFields$SimpleGenericField.class renamed to ‎regression/java-cover/generics_type_param/GenericFields$SimpleGenericField.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/GenericFields.class renamed to ‎regression/java-cover/generics_type_param/GenericFields.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/GenericFields.java renamed to ‎regression/java-cover/generics_type_param/GenericFields.java

File renamed without changes.

‎regression/cbmc-java/generics_type_param/IWrapper.class renamed to ‎regression/java-cover/generics_type_param/IWrapper.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/SimpleWrapper.class renamed to ‎regression/java-cover/generics_type_param/SimpleWrapper.class

File renamed without changes.

‎regression/cbmc-java/generics_type_param/test.desc renamed to ‎regression/java-cover/generics_type_param/test.desc

File renamed without changes.

‎regression/cbmc-java/integer_without_simplify1/test.class renamed to ‎regression/java-cover/integer_without_simplify1/test.class

File renamed without changes.

‎regression/cbmc-java/integer_without_simplify1/test.desc renamed to ‎regression/java-cover/integer_without_simplify1/test.desc

File renamed without changes.

‎regression/cbmc-java/integer_without_simplify1/test.java renamed to ‎regression/java-cover/integer_without_simplify1/test.java

File renamed without changes.

‎regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/Item.class renamed to ‎regression/java-cover/internal1/com/diffblue/javatest/nestedobjects/subpackage/Item.class

File renamed without changes.

‎regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/Item.java renamed to ‎regression/java-cover/internal1/com/diffblue/javatest/nestedobjects/subpackage/Item.java

File renamed without changes.

‎regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/Order.class renamed to ‎regression/java-cover/internal1/com/diffblue/javatest/nestedobjects/subpackage/Order.class

File renamed without changes.

‎regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/Order.java renamed to ‎regression/java-cover/internal1/com/diffblue/javatest/nestedobjects/subpackage/Order.java

File renamed without changes.

‎regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/readme.txt renamed to ‎regression/java-cover/internal1/com/diffblue/javatest/nestedobjects/subpackage/readme.txt

File renamed without changes.

‎regression/cbmc-java/internal1/test.desc renamed to ‎regression/java-cover/internal1/test.desc

File renamed without changes.

‎regression/cbmc-java/iterator1/iterator1.class renamed to ‎regression/java-cover/iterator1/iterator1.class

File renamed without changes.

‎regression/cbmc-java/iterator1/iterator1.java renamed to ‎regression/java-cover/iterator1/iterator1.java

File renamed without changes.

‎regression/cbmc-java/iterator1/test.desc renamed to ‎regression/java-cover/iterator1/test.desc

File renamed without changes.

‎regression/cbmc-java/iterator2/iterator2.class renamed to ‎regression/java-cover/iterator2/iterator2.class

File renamed without changes.

‎regression/cbmc-java/iterator2/iterator2.java renamed to ‎regression/java-cover/iterator2/iterator2.java

File renamed without changes.

‎regression/cbmc-java/iterator2/test.desc renamed to ‎regression/java-cover/iterator2/test.desc

File renamed without changes.

‎regression/cbmc-java/json_trace1/Test.class renamed to ‎regression/java-cover/json_trace1/Test.class

File renamed without changes.

‎regression/cbmc-java/json_trace1/Test.java renamed to ‎regression/java-cover/json_trace1/Test.java

File renamed without changes.

‎regression/cbmc-java/json_trace1/test.desc renamed to ‎regression/java-cover/json_trace1/test.desc

File renamed without changes.

‎regression/cbmc-java/json_trace2/Test.class renamed to ‎regression/java-cover/json_trace2/Test.class

File renamed without changes.

‎regression/cbmc-java/json_trace2/Test.java renamed to ‎regression/java-cover/json_trace2/Test.java

File renamed without changes.

‎regression/cbmc-java/json_trace2/test.desc renamed to ‎regression/java-cover/json_trace2/test.desc

File renamed without changes.

‎regression/cbmc-java/json_trace3/Test.class renamed to ‎regression/java-cover/json_trace3/Test.class

File renamed without changes.

‎regression/cbmc-java/json_trace3/Test.java renamed to ‎regression/java-cover/json_trace3/Test.java

File renamed without changes.

‎regression/cbmc-java/json_trace3/test.desc renamed to ‎regression/java-cover/json_trace3/test.desc

File renamed without changes.

‎regression/cbmc-java/reachability-slice/A.class renamed to ‎regression/java-cover/reachability-slice/A.class

File renamed without changes.

‎regression/cbmc-java/reachability-slice/A.java renamed to ‎regression/java-cover/reachability-slice/A.java

File renamed without changes.

‎regression/cbmc-java/reachability-slice/test.desc renamed to ‎regression/java-cover/reachability-slice/test.desc

File renamed without changes.

‎regression/cbmc-java/reachability-slice/test2.desc renamed to ‎regression/java-cover/reachability-slice/test2.desc

File renamed without changes.

‎regression/cbmc-java/reachability-slice/test3.desc renamed to ‎regression/java-cover/reachability-slice/test3.desc

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/VirtualFunctions$A.class renamed to ‎regression/java-cover/remove_virtual_function_typecast/VirtualFunctions$A.class

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/VirtualFunctions$B.class renamed to ‎regression/java-cover/remove_virtual_function_typecast/VirtualFunctions$B.class

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/VirtualFunctions$C.class renamed to ‎regression/java-cover/remove_virtual_function_typecast/VirtualFunctions$C.class

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/VirtualFunctions.class renamed to ‎regression/java-cover/remove_virtual_function_typecast/VirtualFunctions.class

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/VirtualFunctions.java renamed to ‎regression/java-cover/remove_virtual_function_typecast/VirtualFunctions.java

File renamed without changes.

‎regression/cbmc-java/remove_virtual_function_typecast/test.desc renamed to ‎regression/java-cover/remove_virtual_function_typecast/test.desc

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/AbstractList$Itr.class renamed to ‎regression/java-cover/removed_virtual_functions/AbstractList$Itr.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/AbstractList.class renamed to ‎regression/java-cover/removed_virtual_functions/AbstractList.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/AbstractList.java renamed to ‎regression/java-cover/removed_virtual_functions/AbstractList.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayList$Itr.class renamed to ‎regression/java-cover/removed_virtual_functions/ArrayList$Itr.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayList$ListItr.class renamed to ‎regression/java-cover/removed_virtual_functions/ArrayList$ListItr.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayList.class renamed to ‎regression/java-cover/removed_virtual_functions/ArrayList.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayList.java renamed to ‎regression/java-cover/removed_virtual_functions/ArrayList.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayListEquals.class renamed to ‎regression/java-cover/removed_virtual_functions/ArrayListEquals.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ArrayListEquals.java renamed to ‎regression/java-cover/removed_virtual_functions/ArrayListEquals.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/Iterator.class renamed to ‎regression/java-cover/removed_virtual_functions/Iterator.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/Iterator.java renamed to ‎regression/java-cover/removed_virtual_functions/Iterator.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/List.class renamed to ‎regression/java-cover/removed_virtual_functions/List.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/List.java renamed to ‎regression/java-cover/removed_virtual_functions/List.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ListIterator.class renamed to ‎regression/java-cover/removed_virtual_functions/ListIterator.class

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/ListIterator.java renamed to ‎regression/java-cover/removed_virtual_functions/ListIterator.java

File renamed without changes.

‎regression/cbmc-java/removed_virtual_functions/test.desc renamed to ‎regression/java-cover/removed_virtual_functions/test.desc

File renamed without changes.

‎regression/cbmc-java/trace_class_identifier/TestGenTest.class renamed to ‎regression/java-cover/trace_class_identifier/TestGenTest.class

File renamed without changes.

‎regression/cbmc-java/trace_class_identifier/TestGenTest.java renamed to ‎regression/java-cover/trace_class_identifier/TestGenTest.java

File renamed without changes.

‎regression/cbmc-java/trace_class_identifier/test.desc renamed to ‎regression/java-cover/trace_class_identifier/test.desc

File renamed without changes.

‎regression/jbmc-strings/char_escape/Test.class renamed to ‎regression/jbmc-cover/char_escape/Test.class

File renamed without changes.

‎regression/jbmc-strings/char_escape/Test.java renamed to ‎regression/jbmc-cover/char_escape/Test.java

File renamed without changes.

‎regression/jbmc-strings/char_escape/test.desc renamed to ‎regression/jbmc-cover/char_escape/test.desc

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/IntegerTests.class renamed to ‎regression/jbmc-cover/max-length-generic-array/IntegerTests.class

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/IntegerTests.java renamed to ‎regression/jbmc-cover/max-length-generic-array/IntegerTests.java

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/MyGenSet.class renamed to ‎regression/jbmc-cover/max-length-generic-array/MyGenSet.class

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/MySet.class renamed to ‎regression/jbmc-cover/max-length-generic-array/MySet.class

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/test.desc renamed to ‎regression/jbmc-cover/max-length-generic-array/test.desc

File renamed without changes.

‎regression/jbmc-strings/max-length-generic-array/test_gen.desc renamed to ‎regression/jbmc-cover/max-length-generic-array/test_gen.desc

File renamed without changes.

0 commit comments

Comments
 (0)