196 lines
5.5 KiB
Bash
Executable File
196 lines
5.5 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
cd regression/cbmc
|
|
rm Address_of2/test.desc
|
|
rm Anonymous_Struct3/test.desc
|
|
rm Array_Initialization2/test.desc
|
|
rm Array_operations1/test.desc
|
|
rm BV_Arithmetic6/test.desc
|
|
rm Bitfields1/test.desc
|
|
rm Bitfields3/test.desc
|
|
rm Division2/test.desc
|
|
rm Double-to-float-no-simp1/test.desc
|
|
rm Double-to-float-no-simp1-fix1/test.desc
|
|
rm Double-to-float-no-simp1-fix2/test.desc
|
|
rm Empty_struct1/test.desc
|
|
rm Endianness3/test.desc
|
|
rm Endianness4/test.desc
|
|
rm Endianness6/test.desc
|
|
rm Endianness7/test.desc
|
|
rm Fixedbv3/test.desc
|
|
rm Fixedbv5/test.desc
|
|
rm Fixedbv6/test.desc
|
|
rm Float-Rounding1/test.desc
|
|
rm Float-div1/test.desc
|
|
rm Float-div2/test.desc
|
|
rm Float-div3/test.desc
|
|
rm Float-flags-no-simp1/test.desc
|
|
rm Float-flags-simp1/test.desc
|
|
rm Float-no-simp1/test.desc
|
|
rm Float-no-simp2/test.desc
|
|
rm Float-no-simp3/test.desc
|
|
rm Float-no-simp4/test.desc
|
|
rm Float-no-simp5/test.desc
|
|
rm Float-no-simp6/test.desc
|
|
rm Float-no-simp7/test.desc
|
|
rm Float-no-simp8/test.desc
|
|
rm Float-no-simp9/test.desc
|
|
rm Float-smt2-1/test.desc
|
|
rm Float-to-double1/test.desc
|
|
rm Float-to-double2/test.desc
|
|
rm Float-to-int1/test.desc
|
|
rm Float-to-int2/test.desc
|
|
rm Float-to-int3/test.desc
|
|
rm Float-zero-sum1/test.desc
|
|
rm Float12/test.desc
|
|
rm Float13/test.desc
|
|
rm Float19/test.desc
|
|
rm Float20/test.desc
|
|
rm Float21/test.desc
|
|
rm Float22/test.desc
|
|
rm Float23/test.desc
|
|
rm Float24/test.desc
|
|
rm Float3/test.desc
|
|
rm Float4/test.desc
|
|
rm Float5/test.desc
|
|
rm Float6/test.desc
|
|
rm Float8/test.desc
|
|
rm Free2/test.desc
|
|
rm Function1/test.desc
|
|
rm Function_Pointer3/test.desc
|
|
rm Linking4/test.desc
|
|
rm Linking7/test.desc
|
|
rm Malloc17/test.desc
|
|
rm Malloc18/test.desc
|
|
rm Malloc19/test.desc
|
|
rm Malloc20/test.desc
|
|
rm Malloc23/test.desc
|
|
rm Malloc24/test.desc
|
|
rm Memmove1/test.desc
|
|
rm Memory_leak1/test.desc
|
|
rm Memory_leak2/test.desc
|
|
rm Multi_Dimensional_Array2/test.desc
|
|
rm Multi_Dimensional_Array4/test.desc
|
|
rm Multi_Dimensional_Array6/test.desc
|
|
rm Multiple_Properties1/test.desc
|
|
rm Overflow_Leftshift1/test.desc
|
|
rm Overflow_Subtraction1/test.desc
|
|
rm Pointer_Arithmetic10/test.desc
|
|
rm Pointer_Arithmetic11/test.desc
|
|
rm Pointer_Arithmetic12/test.desc
|
|
rm Pointer_Arithmetic6/test.desc
|
|
rm Pointer_array5/test.desc
|
|
rm Pointer_byte_extract2/test.desc
|
|
rm Pointer_byte_extract3/test.desc
|
|
rm Pointer_byte_extract4/test.desc
|
|
rm Pointer_byte_extract5/no-simplify.desc
|
|
rm Pointer_byte_extract5/test.desc
|
|
rm Pointer_byte_extract7/test.desc
|
|
rm Pointer_byte_extract9/test.desc
|
|
rm Pointer_difference1/test.desc
|
|
rm Promotion3/test.desc
|
|
rm Promotion4/test.desc
|
|
rm Quantifiers-assertion/test.desc
|
|
rm Quantifiers-assignment/test.desc
|
|
rm Quantifiers-copy/test.desc
|
|
rm Quantifiers-if/test.desc
|
|
rm Quantifiers-initialisation/test.desc
|
|
rm Quantifiers-initialisation2/test.desc
|
|
rm Quantifiers-invalid-var-range/test.desc
|
|
rm Quantifiers-not/test.desc
|
|
rm Quantifiers-not-exists/test.desc
|
|
rm Quantifiers-two-dimension-array/test.desc
|
|
rm Quantifiers-type/test.desc
|
|
rm Quantifiers1/test.desc
|
|
rm Recursion5/test.desc
|
|
rm String6/test.desc
|
|
rm Struct_Bytewise1/test.desc
|
|
rm Struct_Bytewise2/test.desc
|
|
rm Struct_Initialization2/test.desc
|
|
rm Struct_Padding1/test.desc
|
|
rm Undefined_Shift1/test.desc
|
|
rm Union_Initialization1/test.desc
|
|
rm Unwinding_Locality1/test.desc
|
|
rm address_space_size_limit1/test.desc
|
|
rm address_space_size_limit3/test.desc
|
|
rm argv1/test.desc
|
|
rm array-tests/test.desc
|
|
rm big-endian-array1/test.desc
|
|
rm bounds_check1/test.desc
|
|
rm byte_update1/test.desc
|
|
rm byte_update2/test.desc
|
|
rm byte_update3/test.desc
|
|
rm byte_update4/test.desc
|
|
rm byte_update5/test.desc
|
|
rm byte_update6/test.desc
|
|
rm byte_update7/test.desc
|
|
rm dynamic_size1/stack_object.desc
|
|
rm dynamic_size1/test.desc
|
|
rm equality_through_array1/test.desc
|
|
rm equality_through_array2/test.desc
|
|
rm equality_through_array3/test.desc
|
|
rm equality_through_array4/test.desc
|
|
rm equality_through_array5/test.desc
|
|
rm equality_through_array6/test.desc
|
|
rm equality_through_array_of_struct1/test.desc
|
|
rm equality_through_array_of_struct2/test.desc
|
|
rm equality_through_array_of_struct3/test.desc
|
|
rm equality_through_array_of_struct4/test.desc
|
|
rm equality_through_struct_containing_arrays1/test.desc
|
|
rm equality_through_struct_containing_arrays2/test.desc
|
|
rm equality_through_struct_containing_arrays3/test.desc
|
|
rm equality_through_union1/test.desc
|
|
rm equality_through_union2/test.desc
|
|
rm equality_through_union3/test.desc
|
|
rm fgets1/test.desc
|
|
rm full_slice1/test.desc
|
|
rm full_slice2/test.desc
|
|
rm gcc_bswap1/test.desc
|
|
rm gcc_statement_expression4/test.desc
|
|
rm gcc_switch_case_range1/test.desc
|
|
rm gcc_switch_case_range2/test.desc
|
|
rm gcc_vector1/test.desc
|
|
rm gcc_vector2/test.desc
|
|
rm graphml_witness1/test.desc
|
|
rm havoc_object1/test.desc
|
|
rm hex_trace/test.desc
|
|
rm if2/test.desc
|
|
rm inet_endian1/test.desc
|
|
rm int-to-float2/test.desc
|
|
rm integer-assignments1/test.desc
|
|
rm little-endian-array1/test.desc
|
|
rm memory_allocation1/test.desc
|
|
rm memset3/test.desc
|
|
rm mm_io1/test.desc
|
|
rm nested_label1/test.desc
|
|
rm no_nondet_static/test.desc
|
|
rm pipe1/test.desc
|
|
rm pointer-function-parameters/test.desc
|
|
rm pointer-function-parameters-2/test.desc
|
|
rm read1/test.desc
|
|
rm realloc1/test.desc
|
|
rm realloc2/test.desc
|
|
rm scanf1/test.desc
|
|
rm simple_assert/test.desc
|
|
rm stack-trace/test.desc
|
|
rm strcat1/test.desc
|
|
rm struct10/test.desc
|
|
rm struct6/test.desc
|
|
rm struct7/test.desc
|
|
rm struct9/test.desc
|
|
rm trace-values/trace-values.desc
|
|
rm trace_address_arithmetic1/test.desc
|
|
rm trace_show_function_calls/test.desc
|
|
rm uncaught_exceptions_analysis1/test.desc
|
|
rm uniform_array1/test.desc
|
|
rm union11/union_list.desc
|
|
rm union5/test.desc
|
|
rm union6/test.desc
|
|
rm union7/test.desc
|
|
rm union8/test.desc
|
|
rm union9/test.desc
|
|
rm unsigned___int128/test.desc
|
|
rm void_pointer2/test.desc
|
|
rm void_pointer3/test.desc
|
|
rm while1/test.desc
|