Skip to content

Commit 8118efa

Browse files
author
Daniel Kroening
committed
test isn't ready yet
1 parent e618169 commit 8118efa

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

unit/Makefile

-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@ SRC += unit_tests.cpp \
1717
analyses/does_remove_const/does_type_preserve_const_correctness.cpp \
1818
analyses/does_remove_const/is_type_at_least_as_const_as.cpp \
1919
java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp \
20-
java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp \
2120
miniBDD_new.cpp \
2221
java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
2322
solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp \

0 commit comments

Comments
 (0)