Categories 228 AllSpecificationsHoldResult 199 Unknown 189 ExceptionOrErrorResult 119 RESULT: Ultimate could not prove your program: Toolchain returned no result. 89 An exception occured during the execution of Ultimate: The toolchain threw an exception 12 unable to decide satisfiability of path constraint 3 TypeErrorResult 1 CounterExampleResult Actual results 228 AllSpecifications... - AllSpecificationsHoldResult: All specifications hold: 119 RESULT: Ultimate ... RESULT: Ultimate could not prove your program: Toolchain returned no result.: 89 An exception occu... RESULT: An exception occured during the execution of Ultimate: The toolchain threw an exception: 76 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation: AssertionError: null: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.domain.transformula.vp.TransFormulaConverterCache.getTransitionRelationForTransformula(TransFormulaConverterCache.java:93): 54 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation: NullPointerException: null: de.uni_freiburg.informatik.ultimate.modelcheckerutils.absint.vpdomain.EqConstraint.getSetConstraintForExpression(EqConstraint.java:421): 44 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation: NoSuchElementException: null: java.util.ArrayList$Itr.next(ArrayList.java:862): 12 unable to decide ... Reason: unable to decide satisfiability of path constraint. : 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation: ConcurrentModificationException: null: java.util.HashMap$HashIterator.nextNode(HashMap.java:1442): 7 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation: IllegalArgumentException: Use this method only for elements that you know have been added already: de.uni_freiburg.informatik.ultimate.util.datastructures.congruenceclosure.CongruenceClosure.getRepresentativeElement(CongruenceClosure.java:747): 3 TypeErrorResult Goto label not found: GotoStatement[[loc1]]: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.tree_of_cslls_true-valid-memsafety.i_51.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.tree_of_cslls_true-valid-memsafety.i_49.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.tree_of_cslls_true-valid-memsafety.i_47.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_false-valid-deref.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_false-valid-deref.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3_false-valid-deref.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_false-valid-deref.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2_false-valid-deref.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_false-valid-free.i_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_false-valid-free.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_false-valid-free.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-bitfields-2.1_false-valid-free.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-0220_false-valid-memtrack.i_34.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.test-0219_true-valid-memsafety.i_34.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_38.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_37.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_36.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_33.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_29.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_28.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_27.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_24.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_23.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_14.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_46.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_44.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_42.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_40.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_38.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_35.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_33.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_31.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_29.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_25.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_22.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/HeapSeparator.20051113-1.c_false-valid-memtrack.i_20.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.standard_strcpy_original_false-valid-deref.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.standard_strcpy_original_false-valid-deref.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.standard_strcpy_false-valid-deref_ground.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.standard_strcpy_false-valid-deref_ground.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.sanfoundry_24_false-valid-deref.i_4.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_38.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_37.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_36.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_33.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_29.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.dll_extends_pointer_true-valid-memsafety.i_27.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.array3_false-valid-deref.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.array3_false-valid-deref.i_6.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength_true-valid-memsafety.c_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength_true-valid-memsafety.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.960521-1_true-valid-memsafety.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.960521-1_false-valid-free.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer.960521-1_false-valid-deref.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.tree_of_cslls_true-valid-memsafety.i_51.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.tree_of_cslls_true-valid-memsafety.i_49.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.tree_of_cslls_true-valid-memsafety.i_47.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_false-valid-deref.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_false-valid-deref.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3_false-valid-deref.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_false-valid-deref.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2_false-valid-deref.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_false-valid-free.i_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_false-valid-free.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_false-valid-free.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-bitfields-2.1_false-valid-free.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-0220_false-valid-memtrack.i_34.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.test-0219_true-valid-memsafety.i_34.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.standard_strcpy_original_false-valid-deref.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.standard_strcpy_original_false-valid-deref.i_7.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.standard_strcpy_false-valid-deref_ground.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.standard_strcpy_false-valid-deref_ground.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_38.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_37.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_36.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_33.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_30.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_29.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_28.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_27.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_24.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_23.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_15.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.dll_extends_pointer_true-valid-memsafety.i_14.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.array3_false-valid-deref.i_8.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.array3_false-valid-deref.i_6.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength_true-valid-memsafety.c_13.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength_true-valid-memsafety.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.960521-1_true-valid-memsafety.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.960521-1_false-valid-free.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.960521-1_false-valid-deref.i_5.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_46.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_44.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_42.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_40.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_38.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_35.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_33.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_31.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_29.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_25.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_22.bpl.log: 1 Unknown results/equality-vmcai19-pp.2018-10-12_2038.logfiles/Automizer+HeapSeparator.20051113-1.c_false-valid-memtrack.i_20.bpl.log: 1 CounterExampleResult - CounterExampleResult [Line: 145]: assertion can be violated: