make[4]: Entering directory '/<<PKGBUILDDIR>>/regression/cbmc'
Makefile:40: warning: overriding recipe for target 'clean' ../../src/common:246: warning: ignoring old recipe for target 'clean'
Loading
1114 tests found
Running tests
Running ACSL/operators.desc [OK] in 0 seconds
Running ACSL/quantifier-precedence.desc [OK] in 0 seconds
Running ASHR1/test.desc [OK] in 0 seconds
Running Address_of1/test.desc [OK] in 0 seconds
Running Address_of2/test.desc [OK] in 0 seconds
Running Anonymous_Struct1/test.desc [OK] in 1 seconds
Running Anonymous_Struct2/test.desc [OK] in 0 seconds
Running Anonymous_Struct3/test.desc [OK] in 0 seconds
Running Array_Access1/test.desc [OK] in 0 seconds
Running Array_Access2/test.desc [OK] in 0 seconds
Running Array_Access3/test.desc [OK] in 0 seconds
Running Array_Initialization1/test.desc [OK] in 0 seconds
Running Array_Initialization2/test.desc [OK] in 0 seconds
Running Array_Initialization3/test.desc [OK] in 0 seconds
Running Array_Pointer1/test.desc [OK] in 0 seconds
Running Array_Pointer2/test.desc [OK] in 0 seconds
Running Array_Pointer3/test.desc [OK] in 0 seconds
Running Array_Pointer4/test.desc [OK] in 0 seconds
Running Array_Pointer5/test.desc [OK] in 0 seconds
Running Array_Pointer6/test.desc [OK] in 0 seconds
Running Array_Pointer7/test.desc [OK] in 0 seconds
Running Array_Propagation1/test.desc [OK] in 0 seconds
Running Array_UF1/test.desc [OK] in 0 seconds
Running Array_UF10/test.desc [OK] in 0 seconds
Running Array_UF11/test.desc [OK] in 0 seconds
Running Array_UF12/test.desc [OK] in 1 seconds
Running Array_UF13/test.desc [OK] in 0 seconds
Running Array_UF14/test.desc [OK] in 0 seconds
Running Array_UF15/test.desc [OK] in 0 seconds
Running Array_UF16/test.desc [OK] in 0 seconds
Running Array_UF17/test.desc [OK] in 0 seconds
Running Array_UF18/test.desc [OK] in 0 seconds
Running Array_UF19/test.desc [OK] in 0 seconds
Running Array_UF2/test.desc [OK] in 0 seconds
Running Array_UF20/test.desc [OK] in 0 seconds
Running Array_UF21/test.desc [OK] in 1 seconds
Running Array_UF22/test.desc [SKIPPED]
Running Array_UF3/test.desc [OK] in 0 seconds
Running Array_UF4/test.desc [SKIPPED]
Running Array_UF5/test.desc [OK] in 0 seconds
Running Array_UF6/test.desc [OK] in 0 seconds
Running Array_UF7/test.desc [OK] in 0 seconds
Running Array_UF8/test.desc [SKIPPED]
Running Array_UF9/test.desc [OK] in 0 seconds
Running Array_operations1/full-slice.desc [OK] in 0 seconds
Running Array_operations1/test.desc [OK] in 0 seconds
Running Array_operations2/test.desc [OK] in 0 seconds
Running Associativity1/test.desc [OK] in 0 seconds
Running Assumption1/test.desc [OK] in 0 seconds
Running BV_Arithmetic1/test.desc [OK] in 1 seconds
Running BV_Arithmetic2/test.desc [OK] in 0 seconds
Running BV_Arithmetic3/test.desc [OK] in 0 seconds
Running BV_Arithmetic4/test.desc [OK] in 0 seconds
Running BV_Arithmetic5/test.desc [OK] in 0 seconds
Running BV_Arithmetic6/test.desc [OK] in 0 seconds
Running Bitfields1/test.desc [OK] in 0 seconds
Running Bitfields2/test.desc [OK] in 0 seconds
Running Bitfields3/paths.desc [OK] in 1 seconds
Running Bitfields3/test.desc [OK] in 0 seconds
Running Bitfields4/test.desc [OK] in 0 seconds
Running Bool/bool1.desc [OK] in 0 seconds
Running Bool/bool2.desc [OK] in 0 seconds
Running Bool/bool3.desc [OK] in 0 seconds
Running Bool/bool4.desc [OK] in 0 seconds
Running Bool/bool5-full-slice.desc [OK] in 0 seconds
Running Bool/bool5.desc [OK] in 0 seconds
Running Bool/bool6.desc [OK] in 1 seconds
Running Bool/bool7.desc [SKIPPED]
Running Boolean_Guards1/test.desc [OK] in 0 seconds
Running Computed-Goto1/test.desc [OK] in 0 seconds
Running Division1/test.desc [OK] in 0 seconds
Running Division2/test.desc [OK] in 0 seconds
Running Ellipsis1/test.desc [OK] in 0 seconds
Running Ellipsis2/test.desc [OK] in 0 seconds
Running Empty_struct1/test.desc [OK] in 0 seconds
Running Empty_struct2/test.desc [OK] in 0 seconds
Running Empty_struct3/test.desc [OK] in 0 seconds
Running End_thread1/test.desc [OK] in 0 seconds
Running Endianness1/test.desc [OK] in 0 seconds
Running Endianness2/test.desc [OK] in 0 seconds
Running Endianness3/test.desc [OK] in 0 seconds
Running Endianness4/test.desc [OK] in 0 seconds
Running Endianness5/test.desc [OK] in 0 seconds
Running Endianness6/test.desc [OK] in 0 seconds
Running Endianness7/test.desc [OK] in 0 seconds
Running Endianness8/test.desc [OK] in 0 seconds
Running Endianness9/test.desc [OK] in 0 seconds
Running Error_Label1/test.desc [OK] in 0 seconds
Running Error_Label2/test.desc [OK] in 0 seconds
Running Error_Label3/test.desc [OK] in 0 seconds
Running Eval_Order1/test.desc [OK] in 0 seconds
Running Eval_Order2/test.desc [SKIPPED]
Running Exceptions1/test.desc [OK] in 1 seconds
Running Failed_Symbols1/test.desc [OK] in 0 seconds
Running Failing_Assert1/dimacs.desc [OK] in 0 seconds
Running Failing_Assert1/external-z3.desc [OK] in 0 seconds
Running Failing_Assert1/test.desc [OK] in 0 seconds
Running Fixedbv1/test.desc [OK] in 0 seconds
Running Fixedbv2/test.desc [OK] in 0 seconds
Running Fixedbv3/test.desc [OK] in 0 seconds
Running Fixedbv4/test.desc [OK] in 0 seconds
Running Fixedbv5/test.desc [OK] in 0 seconds
Running Fixedbv6/test.desc [OK] in 0 seconds
Running Fixedbv7/test.desc [SKIPPED]
Running Fixedbv8/test.desc [OK] in 0 seconds
Running Float-div2/test.desc [OK] in 0 seconds
Running Float-div3/test.desc [OK] in 0 seconds
Running Float-equality1/test_equality.desc [SKIPPED]
Running Float-equality1/test_no_equality.desc [OK] in 0 seconds
Running Float-equality2/test.desc [OK] in 0 seconds
Running Float-flags-no-simp1/test.desc [OK] in 1 seconds
Running Float-flags-simp1/test.desc [OK] in 0 seconds
Running Float-no-simp1/test.desc [OK] in 0 seconds
Running Float-no-simp2/test.desc [OK] in 2 seconds
Running Float-no-simp3/test.desc [OK] in 0 seconds
Running Float-no-simp4/test.desc [OK] in 0 seconds
Running Float-no-simp5/test.desc [OK] in 0 seconds
Running Float-no-simp6/test.desc [OK] in 0 seconds
Running Float-no-simp7/test.desc [OK] in 0 seconds
Running Float-no-simp9/test.desc [OK] in 0 seconds
Running Float-overflow1/test.desc [OK] in 0 seconds
Running Float-overflow2/test.desc [OK] in 0 seconds
Running Float-rounding/compile_time_rounding.desc [OK] in 0 seconds
Running Float-rounding2/test.desc [OK] in 0 seconds
Running Float-smt2-1/test.desc [SKIPPED]
Running Float-to-double2/test.desc [OK] in 1 seconds
Running Float-to-int1/test.desc [OK] in 0 seconds
Running Float-to-int2/test.desc [OK] in 0 seconds
Running Float-to-int3/test.desc [OK] in 0 seconds
Running Float-zero-sum1/test.desc [OK] in 0 seconds
Running Float1/test.desc [OK] in 0 seconds
Running Float11/test.desc [OK] in 0 seconds
Running Float12/test.desc [OK] in 0 seconds
Running Float13/test.desc [OK] in 0 seconds
Running Float14/test.desc [OK] in 0 seconds
Running Float2/test.desc [OK] in 0 seconds
Running Float20/test.desc [OK] in 0 seconds
Running Float21/test.desc [OK] in 1 seconds
Running Float22/test.desc [OK] in 0 seconds
Running Float23/test.desc [OK] in 0 seconds
Running Float24/test.desc [OK] in 0 seconds
Running Float3/test.desc [OK] in 0 seconds
Running Float4/test.desc [OK] in 8 seconds
Running Float5/test.desc [OK] in 0 seconds
Running Float6/test.desc [OK] in 0 seconds
Running Float7/test.desc [OK] in 0 seconds
Running Float8/smt.desc [SKIPPED]
Running Float8/test.desc [OK] in 0 seconds
Running Free1/test.desc [OK] in 0 seconds
Running Free2/test.desc [OK] in 0 seconds
Running Free3/test.desc [OK] in 0 seconds
Running Free4/test.desc [OK] in 1 seconds
Running Function-KnR1/test.desc [OK] in 0 seconds
Running Function1/test.desc [OK] in 0 seconds
Running Function10/test.desc [OK] in 0 seconds
Running Function11/test.desc [OK] in 0 seconds
Running Function12/test.desc [OK] in 0 seconds
Running Function13/test.desc [OK] in 0 seconds
Running Function14/test.desc [OK] in 0 seconds
Running Function2/test.desc [OK] in 0 seconds
Running Function3/test.desc [OK] in 0 seconds
Running Function4/test.desc [OK] in 0 seconds
Running Function5/test.desc [OK] in 0 seconds
Running Function6/test.desc [OK] in 0 seconds
Running Function7/test.desc [OK] in 0 seconds
Running Function8/test.desc [OK] in 0 seconds
Running Function9/test.desc [OK] in 0 seconds
Running Function_Eval_Order1/test.desc [SKIPPED]
Running Function_Eval_Order2/test.desc [OK] in 0 seconds
Running Function_Parameters1/test.desc [SKIPPED]
Running Function_Pointer1/test.desc [OK] in 0 seconds
Running Function_Pointer10/test.desc [OK] in 0 seconds
Running Function_Pointer11/test.desc [OK] in 0 seconds
Running Function_Pointer12/test.desc [OK] in 0 seconds
Running Function_Pointer13/test.desc [OK] in 0 seconds
Running Function_Pointer14/test.desc [OK] in 1 seconds
Running Function_Pointer15/test.desc [OK] in 0 seconds
Running Function_Pointer16/test.desc [OK] in 0 seconds
Running Function_Pointer17/test.desc [OK] in 0 seconds
Running Function_Pointer18/test.desc [OK] in 0 seconds
Running Function_Pointer19/test.desc [OK] in 0 seconds
Running Function_Pointer2/test.desc [OK] in 0 seconds
Running Function_Pointer3/test.desc [OK] in 0 seconds
Running Function_Pointer4/test.desc [OK] in 0 seconds
Running Function_Pointer5/test.desc [OK] in 0 seconds
Running Function_Pointer6/test.desc [OK] in 0 seconds
Running Function_Pointer7/test.desc [OK] in 0 seconds
Running Function_Pointer8/test.desc [OK] in 0 seconds
Running Function_Pointer9/test.desc [OK] in 0 seconds
Running Function_Pointer_Init_No_Candidate/test.desc [OK] in 0 seconds
Running Function_Pointer_Init_One_Candidate/test.desc [OK] in 0 seconds
Running Function_Pointer_Init_Two_Candidates/test.desc [OK] in 0 seconds
Running Global_Initialization1/test.desc [OK] in 0 seconds
Running Global_Initialization2/test.desc [OK] in 0 seconds
Running Initialization1/test.desc [OK] in 0 seconds
Running Initialization2/test.desc [OK] in 0 seconds
Running Initialization3/test.desc [OK] in 0 seconds
Running Initialization5/test.desc [OK] in 0 seconds
Running Initialization6/test.desc [OK] in 0 seconds
Running Initialization7/test.desc [OK] in 0 seconds
Running KnR1/test.desc [OK] in 1 seconds
Running Linked_List1/test.desc [OK] in 0 seconds
Running Linking1/test.desc [OK] in 0 seconds
Running Linking2/test.desc [OK] in 0 seconds
Running Linking3/test.desc [OK] in 0 seconds
Running Linking4/test.desc [OK] in 0 seconds
Running Linking5/test.desc [OK] in 0 seconds
Running Linking6/test.desc [OK] in 0 seconds
Running Linking7/member-name-mismatch.desc [OK] in 0 seconds
Running Linking7/return_type.desc [OK] in 0 seconds
Running Linking7/test.desc [OK] in 0 seconds
Running Linking8/test.desc [OK] in 0 seconds
Running Local_out_of_scope1/test.desc [OK] in 0 seconds
Running Local_out_of_scope2/test.desc [OK] in 0 seconds
Running Local_out_of_scope3/test.desc [OK] in 0 seconds
Running Local_out_of_scope4/test.desc [OK] in 0 seconds
Running Malloc1/test.desc [OK] in 0 seconds
Running Malloc10/test.desc [OK] in 1 seconds
Running Malloc11/slice-formula.desc [OK] in 0 seconds
Running Malloc11/test.desc [OK] in 0 seconds
Running Malloc12/test.desc [SKIPPED]
Running Malloc13/test.desc [OK] in 0 seconds
Running Malloc14/test.desc [OK] in 0 seconds
Running Malloc15/test.desc [OK] in 0 seconds
Running Malloc16/test.desc [OK] in 0 seconds
Running Malloc17/test.desc [OK] in 0 seconds
Running Malloc18/test.desc [OK] in 0 seconds
Running Malloc19/test.desc [OK] in 0 seconds
Running Malloc2/test.desc [OK] in 0 seconds
Running Malloc21/test.desc [OK] in 0 seconds
Running Malloc22/test.desc [OK] in 0 seconds
Running Malloc23/test.desc [OK] in 0 seconds
Running Malloc24/test.desc [OK] in 1 seconds
Running Malloc25/test.desc [OK] in 0 seconds
Running Malloc3/test.desc [OK] in 0 seconds
Running Malloc4/test.desc [OK] in 0 seconds
Running Malloc5/test.desc [OK] in 0 seconds
Running Malloc6/test.desc [OK] in 0 seconds
Running Malloc7/test.desc [OK] in 0 seconds
Running Malloc8/test.desc [OK] in 0 seconds
Running Malloc9/test.desc [OK] in 0 seconds
Running Memory_leak1/test.desc [OK] in 0 seconds
Running Memory_leak2/test.desc [OK] in 0 seconds
Running Memory_leak_abort/test.desc [OK] in 1 seconds
Running Minisat_Simp1/test.desc [OK] in 0 seconds
Running Mod1/test.desc [OK] in 0 seconds
Running Mod2/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array1/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array2/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array3/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array4/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array5/test.desc [OK] in 0 seconds
Running Multi_Dimensional_Array6/test.desc [OK] in 0 seconds
Running Multiple_Properties1/test.desc [OK] in 0 seconds
Running Negation1/test.desc [OK] in 1 seconds
Running Negation2/test.desc [OK] in 0 seconds
Running Nondet1/test.desc [OK] in 0 seconds
Running Pointer1/test.desc [OK] in 0 seconds
Running Pointer10/test.desc [OK] in 0 seconds
Running Pointer11/test.desc [OK] in 0 seconds
Running Pointer12/test.desc [OK] in 0 seconds
Running Pointer14/test.desc [OK] in 0 seconds
Running Pointer15/test.desc [OK] in 0 seconds
Running Pointer17/test.desc [OK] in 0 seconds
Running Pointer18/full-slice.desc [OK] in 0 seconds
Running Pointer18/test.desc [OK] in 0 seconds
Running Pointer2/test.desc [OK] in 0 seconds
Running Pointer20/test.desc [OK] in 0 seconds
Running Pointer21/test.desc [OK] in 0 seconds
Running Pointer23/test.desc [OK] in 0 seconds
Running Pointer24/test.desc [OK] in 0 seconds
Running Pointer25/test.desc [OK] in 0 seconds
Running Pointer26/test.desc [OK] in 0 seconds
Running Pointer27/test.desc [OK] in 0 seconds
Running Pointer28/test.desc [OK] in 0 seconds
Running Pointer29/test.desc [OK] in 0 seconds
Running Pointer3/test.desc [OK] in 1 seconds
Running Pointer30/test.desc [OK] in 0 seconds
Running Pointer31/test.desc [OK] in 0 seconds
Running Pointer4/test.desc [OK] in 0 seconds
Running Pointer6/test.desc [OK] in 0 seconds
Running Pointer7/test.desc [OK] in 0 seconds
Running Pointer8/test.desc [OK] in 0 seconds
Running Pointer9/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic1/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic10/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic11/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic12/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic13/test.desc [SKIPPED]
Running Pointer_Arithmetic14/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic15/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic16/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic17/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic18/test.desc [SKIPPED]
Running Pointer_Arithmetic19/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic2/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic3/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic4/test.desc [OK] in 1 seconds
Running Pointer_Arithmetic5/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic6/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic7/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic8/test.desc [OK] in 0 seconds
Running Pointer_Arithmetic9/test.desc [OK] in 0 seconds
Running Pointer_Assume1/test.desc [OK] in 0 seconds
Running Pointer_Object_Type1/test.desc [OK] in 0 seconds
Running Pointer_array1/test.desc [OK] in 0 seconds
Running Pointer_array2/test.desc [OK] in 0 seconds
Running Pointer_array3/test.desc [OK] in 0 seconds
Running Pointer_array4/test.desc [OK] in 0 seconds
Running Pointer_array5/test.desc [OK] in 0 seconds
Running Pointer_array6/test.desc [SKIPPED]
Running Pointer_array7/big-endian.desc [OK] in 0 seconds
Running Pointer_array7/test.desc [OK] in 0 seconds
Running Pointer_byte_extract1/test.desc [OK] in 0 seconds
Running Pointer_byte_extract2/test.desc [OK] in 0 seconds
Running Pointer_byte_extract3/test.desc [OK] in 0 seconds
Running Pointer_byte_extract4/program-only.desc [OK] in 1 seconds
Running Pointer_byte_extract4/test.desc [OK] in 0 seconds
Running Pointer_byte_extract5/no-simplify.desc [OK] in 0 seconds
Running Pointer_byte_extract5/test.desc [OK] in 0 seconds
Running Pointer_byte_extract6/test.desc [OK] in 0 seconds
Running Pointer_byte_extract7/test.desc [OK] in 0 seconds
Running Pointer_byte_extract8/test.desc [OK] in 0 seconds
Running Pointer_byte_extract9/test.desc [OK] in 0 seconds
Running Pointer_comparison1/test.desc [SKIPPED]
Running Pointer_comparison2/test.desc [OK] in 0 seconds
Running Pointer_comparison3/test.desc [OK] in 0 seconds
Running Pointer_comparison4/test.desc [OK] in 0 seconds
Running Pointer_comparison5/test.desc [OK] in 0 seconds
Running Pointer_difference1/no-simplify.desc [OK] in 0 seconds
Running Pointer_difference1/test.desc [OK] in 0 seconds
Running Pointer_difference2/test.desc [OK] in 0 seconds
Running Promotion1/test.desc [OK] in 0 seconds
Running Promotion2/test.desc [OK] in 0 seconds
Running Promotion3/test.desc [OK] in 0 seconds
Running Promotion4/test.desc [OK] in 0 seconds
Running Quantifiers-assertion/test.desc [OK] in 1 seconds
Running Quantifiers-assignment/test.desc [OK] in 0 seconds
Running Quantifiers-copy/test.desc [OK] in 0 seconds
Running Quantifiers-expr-cleaning/test.desc [OK] in 0 seconds
Running Quantifiers-if/test.desc [OK] in 0 seconds
Running Quantifiers-initialisation/test.desc [OK] in 0 seconds
Running Quantifiers-initialisation2/test.desc [OK] in 0 seconds
Running Quantifiers-invalid-var-range/test.desc [SKIPPED]
Running Quantifiers-not/test.desc [OK] in 0 seconds
Running Quantifiers-not-exists/fixed.desc [OK] in 0 seconds
Running Quantifiers-simplify/rewrite_exists.desc [OK] in 0 seconds
Running Quantifiers-simplify/rewrite_forall.desc [OK] in 0 seconds
Running Quantifiers-simplify/simplify_not_forall.desc [OK] in 0 seconds
Running Quantifiers-simplify/test.desc [SKIPPED]
Running Quantifiers-two-dimension-array/fixed.desc [OK] in 0 seconds
Running Quantifiers-two-dimension-array/test.desc [OK] in 0 seconds
Running Quantifiers-type/test.desc [SKIPPED]
Running Quantifiers-type2/test.desc [OK] in 0 seconds
Running Quantifiers1/quantifier-with-side-effect.desc [OK] in 0 seconds
Running Quantifiers1/test.desc [OK] in 0 seconds
Running Recursion1/test.desc [OK] in 0 seconds
Running Recursion2/test.desc [OK] in 0 seconds
Running Recursion3/test.desc [OK] in 0 seconds
Running Recursion4/test.desc [OK] in 1 seconds
Running Recursion5/test.desc [OK] in 0 seconds
Running Recursion6/test.desc [OK] in 0 seconds
Running SIMD1/test.desc [SKIPPED]
Running Same_Basename1/test.desc [OK] in 0 seconds
Running Sideeffects1/test.desc [OK] in 0 seconds
Running Sideeffects2/test.desc [OK] in 0 seconds
Running Sideeffects3/test.desc [OK] in 0 seconds
Running Sideeffects4/test.desc [OK] in 0 seconds
Running Sideeffects5/test.desc [OK] in 0 seconds
Running Sideeffects6/test.desc [OK] in 0 seconds
Running Sideeffects7/test.desc [OK] in 0 seconds
Running Sideeffects8/test.desc [OK] in 0 seconds
Running Sizeof1/test.desc [OK] in 0 seconds
Running Static2/test.desc [OK] in 0 seconds
Running Static4/test.desc [OK] in 0 seconds
Running Static_Functions1/test.desc [OK] in 0 seconds
Running String1/test.desc [OK] in 0 seconds
Running String2/test.desc [OK] in 0 seconds
Running String3/test.desc [SKIPPED]
Running String4/test.desc [OK] in 0 seconds
Running String5/test.desc [OK] in 0 seconds
Running String7/test.desc [OK] in 0 seconds
Running String8/test.desc [OK] in 0 seconds
Running String_Abstraction1/test.desc [OK] in 1 seconds
Running String_Abstraction10/test.desc [SKIPPED]
Running String_Abstraction11/test.desc [OK] in 0 seconds
Running String_Abstraction12/test.desc [OK] in 0 seconds
Running String_Abstraction13/test.desc [OK] in 0 seconds
Running String_Abstraction14/test.desc [OK] in 0 seconds
Running String_Abstraction15/test.desc [OK] in 0 seconds
Running String_Abstraction16/test.desc [OK] in 0 seconds
Running String_Abstraction17/test.desc [OK] in 0 seconds
Running String_Abstraction18/test.desc [OK] in 0 seconds
Running String_Abstraction19/test.desc [OK] in 0 seconds
Running String_Abstraction2/test.desc [OK] in 0 seconds
Running String_Abstraction20/test.desc [OK] in 1 seconds
Running String_Abstraction21/test.desc [OK] in 0 seconds
Running String_Abstraction22/test.desc [OK] in 0 seconds
Running String_Abstraction23/test.desc [OK] in 0 seconds
Running String_Abstraction24/test.desc [OK] in 0 seconds
Running String_Abstraction3/test.desc [OK] in 0 seconds
Running String_Abstraction4/test.desc [OK] in 0 seconds
Running String_Abstraction5/test.desc [OK] in 0 seconds
Running String_Abstraction6/test.desc [SKIPPED]
Running String_Abstraction7/test.desc [FAILED]
Running String_Abstraction8/test.desc [OK] in 0 seconds
Running String_Abstraction9/test.desc [OK] in 0 seconds
Running String_Literal1/test.desc [OK] in 0 seconds
Running Struct_Array1/test.desc [OK] in 0 seconds
Running Struct_Bytewise1/test.desc [OK] in 0 seconds
Running Struct_Bytewise2/test.desc [OK] in 0 seconds
Running Struct_Initialization1/test.desc [OK] in 0 seconds
Running Struct_Initialization10/test.desc [OK] in 0 seconds
Running Struct_Initialization2/test.desc [OK] in 0 seconds
Running Struct_Initialization3/test.desc [OK] in 0 seconds
Running Struct_Initialization4/test.desc [OK] in 0 seconds
Running Struct_Initialization5/test.desc [OK] in 0 seconds
Running Struct_Initialization6/test.desc [OK] in 0 seconds
Running Struct_Initialization7/test.desc [OK] in 0 seconds
Running Struct_Initialization8/test.desc [OK] in 0 seconds
Running Struct_Initialization9/test.desc [OK] in 0 seconds
Running Struct_Padding1/test.desc [OK] in 0 seconds
Running Struct_Pointer1/test.desc [OK] in 0 seconds
Running Struct_Pointer2/test.desc [OK] in 1 seconds
Running Struct_Pointer3/test.desc [OK] in 0 seconds
Running Struct_Pointer_Array1/test.desc [OK] in 0 seconds
Running Struct_Propagation1/test.desc [OK] in 0 seconds
Running Type_Error1/test.desc [OK] in 0 seconds
Running Typecast1/test.desc [OK] in 0 seconds
Running Typecast2/test.desc [OK] in 0 seconds
Running Typecast3/test.desc [OK] in 0 seconds
Running Unbounded_Array1/test.desc [OK] in 0 seconds
Running Unbounded_Array2/test.desc [OK] in 0 seconds
Running Unbounded_Array3/test.desc [OK] in 0 seconds
Running Unbounded_Array4/test.desc [OK] in 0 seconds
Running Unbounded_Array5/test.desc [OK] in 0 seconds
Running Unbounded_Array6/test.desc [OK] in 0 seconds
Running Undefined_Function1/test.desc [OK] in 0 seconds
Running Undefined_Function2/test.desc [OK] in 0 seconds
Running Undefined_Shift1/test.desc [OK] in 0 seconds
Running Union_Initialization1/test.desc [OK] in 0 seconds
Running Union_Initialization2/test.desc [OK] in 0 seconds
Running Union_Initialization5/test.desc [OK] in 0 seconds
Running Unwinding_Assertions_Improved1/test.desc [SKIPPED]
Running Unwinding_Locality1/test.desc [OK] in 0 seconds
Running Variadic1/test.desc [OK] in 0 seconds
Running Visual_Studio_Types1/test.desc [OK] in 0 seconds
Running Visual_Studio_Types2/test.desc [OK] in 0 seconds
Running Volatile1/test.desc [SKIPPED]
Running Zero_Initialization1/test.desc [OK] in 1 seconds
Running __builtin_clz-01/big-endian.desc [OK] in 0 seconds
Running __builtin_clz-01/test.desc [OK] in 0 seconds
Running __builtin_ctz-01/big-endian.desc [OK] in 0 seconds
Running __builtin_ctz-01/test.desc [OK] in 0 seconds
Running __builtin_ffs-01/big-endian.desc [OK] in 0 seconds
Running __builtin_ffs-01/test.desc [OK] in 0 seconds
Running __func__1/test.desc [OK] in 0 seconds
Running address_of_struct_member/test.desc [OK] in 0 seconds
Running address_of_struct_member_rec/test.desc [OK] in 0 seconds
Running address_space_size_limit1/test.desc [OK] in 5 seconds
Running address_space_size_limit2/test.desc [SKIPPED]
Running address_space_size_limit3/test.desc [OK] in 10 seconds
Running always_inline1/test.desc [OK] in 0 seconds
Running always_inline2/test.desc [OK] in 0 seconds
Running always_inline3/test.desc [OK] in 0 seconds
Running apply_condition1/test.desc [OK] in 0 seconds
Running argc-and-argv/argc1.desc [OK] in 0 seconds
Running argc-and-argv/argv1.desc [OK] in 0 seconds
Running argv2/test.desc [OK] in 0 seconds
Running array-bug-6230/test.desc [OK] in 0 seconds
Running array-cell-sensitivity1/test.desc [OK] in 1 seconds
Running array-cell-sensitivity1/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity10/test.desc [OK] in 0 seconds
Running array-cell-sensitivity10/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity11/test.desc [OK] in 0 seconds
Running array-cell-sensitivity11/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity12/test.desc [SKIPPED]
Running array-cell-sensitivity12/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity13/test.desc [OK] in 0 seconds
Running array-cell-sensitivity13/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity14/test.desc [OK] in 0 seconds
Running array-cell-sensitivity14/test_execution.desc [OK] in 0 seconds
Running array-cell-sensitivity15/test.desc [OK] in 0 seconds
Running array-cell-sensitivity2/test.desc [OK] in 0 seconds
Running array-cell-sensitivity2/test_execution.desc [OK] in 0 seconds
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 300 |
Nodes: | 16 (2 / 14) |
Uptime: | 08:35:43 |
Calls: | 6,706 |
Files: | 12,236 |
Messages: | 5,350,707 |