/usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -ea -Xmx4000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/C-BIN-BPP.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Bitvector.epf -i ../../../trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i -------------------------------------------------------------------------------- This is Ultimate 0.2.4-dev-db9108f-m [2023-12-07 13:54:34,201 INFO L188 SettingsManager]: Resetting all preferences to default values... [2023-12-07 13:54:34,376 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Bitvector.epf [2023-12-07 13:54:34,380 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2023-12-07 13:54:34,382 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2023-12-07 13:54:34,470 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2023-12-07 13:54:34,470 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2023-12-07 13:54:34,471 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2023-12-07 13:54:34,471 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2023-12-07 13:54:34,471 INFO L153 SettingsManager]: * Use memory slicer=true [2023-12-07 13:54:34,471 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2023-12-07 13:54:34,472 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2023-12-07 13:54:34,472 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2023-12-07 13:54:34,472 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2023-12-07 13:54:34,473 INFO L153 SettingsManager]: * Use SBE=true [2023-12-07 13:54:34,473 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2023-12-07 13:54:34,483 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2023-12-07 13:54:34,484 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2023-12-07 13:54:34,484 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2023-12-07 13:54:34,484 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2023-12-07 13:54:34,484 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2023-12-07 13:54:34,496 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2023-12-07 13:54:34,497 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2023-12-07 13:54:34,497 INFO L153 SettingsManager]: * Allow undefined functions=false [2023-12-07 13:54:34,497 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2023-12-07 13:54:34,498 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2023-12-07 13:54:34,498 INFO L153 SettingsManager]: * Use constant arrays=true [2023-12-07 13:54:34,498 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2023-12-07 13:54:34,499 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2023-12-07 13:54:34,499 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2023-12-07 13:54:34,499 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2023-12-07 13:54:34,500 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2023-12-07 13:54:34,500 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2023-12-07 13:54:34,500 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2023-12-07 13:54:34,501 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2023-12-07 13:54:34,504 INFO L153 SettingsManager]: * Trace refinement strategy=WOLF [2023-12-07 13:54:34,504 INFO L153 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2023-12-07 13:54:34,505 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2023-12-07 13:54:34,505 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2023-12-07 13:54:34,505 INFO L153 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2023-12-07 13:54:34,506 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2023-12-07 13:54:34,515 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2023-12-07 13:54:34,515 INFO L153 SettingsManager]: * Logic for external solver=AUFBV [2023-12-07 13:54:34,516 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release [2023-12-07 13:54:34,865 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2023-12-07 13:54:34,947 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2023-12-07 13:54:34,950 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2023-12-07 13:54:34,951 INFO L270 PluginConnector]: Initializing CDTParser... [2023-12-07 13:54:34,972 INFO L274 PluginConnector]: CDTParser initialized [2023-12-07 13:54:34,974 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i [2023-12-07 13:54:38,337 INFO L533 CDTParser]: Created temporary CDT project at NULL [2023-12-07 13:54:42,553 INFO L384 CDTParser]: Found 1 translation units. [2023-12-07 13:54:42,553 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i [2023-12-07 13:54:42,898 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/05d7ed223/4c6d730eec0e4cd18974aa7cb29f59e1/FLAG79ebeb9e6 [2023-12-07 13:54:42,912 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/05d7ed223/4c6d730eec0e4cd18974aa7cb29f59e1 [2023-12-07 13:54:42,915 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2023-12-07 13:54:42,916 INFO L133 ToolchainWalker]: Walking toolchain with 3 elements. [2023-12-07 13:54:42,917 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2023-12-07 13:54:42,918 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2023-12-07 13:54:42,921 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2023-12-07 13:54:42,922 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.12 01:54:42" (1/1) ... [2023-12-07 13:54:42,923 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7102987c and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.12 01:54:42, skipping insertion in model container [2023-12-07 13:54:42,924 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.12 01:54:42" (1/1) ... [2023-12-07 13:54:44,117 INFO L177 MainTranslator]: Built tables and reachable declarations [2023-12-07 13:55:23,089 WARN L633 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2023-12-07 13:55:23,091 WARN L633 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2023-12-07 13:55:23,092 WARN L633 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2023-12-07 13:55:23,093 WARN L633 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2023-12-07 13:55:23,110 WARN L633 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2023-12-07 13:55:23,111 WARN L633 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2023-12-07 13:55:23,111 WARN L633 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2023-12-07 13:55:23,113 WARN L633 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2023-12-07 13:55:23,114 WARN L633 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2023-12-07 13:55:23,115 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[465954,465967] [2023-12-07 13:55:23,126 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[466009,466022] [2023-12-07 13:55:23,126 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[466147,466160] [2023-12-07 13:55:23,127 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[466645,466658] [2023-12-07 13:55:23,128 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[466946,466959] [2023-12-07 13:55:23,128 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[467019,467032] [2023-12-07 13:55:23,129 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[467937,467950] [2023-12-07 13:55:23,130 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[467995,468008] [2023-12-07 13:55:23,130 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[468047,468060] [2023-12-07 13:55:23,131 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[468381,468394] [2023-12-07 13:55:23,131 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[468439,468452] [2023-12-07 13:55:23,131 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[468491,468504] [2023-12-07 13:55:23,142 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[469361,469374] [2023-12-07 13:55:23,143 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[469823,469836] [2023-12-07 13:55:23,143 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[469899,469912] [2023-12-07 13:55:23,145 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[473393,473406] [2023-12-07 13:55:23,146 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[474042,474055] [2023-12-07 13:55:23,146 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[474118,474131] [2023-12-07 13:55:23,169 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486048,486061] [2023-12-07 13:55:23,170 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486159,486172] [2023-12-07 13:55:23,170 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486278,486291] [2023-12-07 13:55:23,170 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486352,486365] [2023-12-07 13:55:23,174 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486445,486458] [2023-12-07 13:55:23,174 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486569,486582] [2023-12-07 13:55:23,174 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486653,486666] [2023-12-07 13:55:23,174 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486725,486738] [2023-12-07 13:55:23,176 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486781,486794] [2023-12-07 13:55:23,176 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486874,486887] [2023-12-07 13:55:23,177 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[486977,486990] [2023-12-07 13:55:23,178 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487045,487058] [2023-12-07 13:55:23,178 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487136,487149] [2023-12-07 13:55:23,184 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487198,487211] [2023-12-07 13:55:23,185 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487286,487299] [2023-12-07 13:55:23,185 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487342,487355] [2023-12-07 13:55:23,186 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487410,487423] [2023-12-07 13:55:23,187 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487504,487517] [2023-12-07 13:55:23,187 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487566,487579] [2023-12-07 13:55:23,188 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487643,487656] [2023-12-07 13:55:23,191 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487703,487716] [2023-12-07 13:55:23,193 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487767,487780] [2023-12-07 13:55:23,194 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487839,487852] [2023-12-07 13:55:23,194 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487905,487918] [2023-12-07 13:55:23,194 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[487961,487974] [2023-12-07 13:55:23,194 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[488045,488058] [2023-12-07 13:55:23,195 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[488121,488134] [2023-12-07 13:55:23,196 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[488756,488769] [2023-12-07 13:55:23,212 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[488810,488823] [2023-12-07 13:55:23,213 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489074,489087] [2023-12-07 13:55:23,214 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489137,489150] [2023-12-07 13:55:23,214 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489219,489232] [2023-12-07 13:55:23,214 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489285,489298] [2023-12-07 13:55:23,214 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489342,489355] [2023-12-07 13:55:23,215 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489412,489425] [2023-12-07 13:55:23,215 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489490,489503] [2023-12-07 13:55:23,216 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489562,489575] [2023-12-07 13:55:23,216 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489624,489637] [2023-12-07 13:55:23,217 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489680,489693] [2023-12-07 13:55:23,218 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489896,489909] [2023-12-07 13:55:23,219 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[489955,489968] [2023-12-07 13:55:23,219 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490033,490046] [2023-12-07 13:55:23,220 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490095,490108] [2023-12-07 13:55:23,220 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490161,490174] [2023-12-07 13:55:23,220 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490235,490248] [2023-12-07 13:55:23,221 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490303,490316] [2023-12-07 13:55:23,221 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490361,490374] [2023-12-07 13:55:23,221 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490486,490499] [2023-12-07 13:55:23,222 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490548,490561] [2023-12-07 13:55:23,222 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490628,490641] [2023-12-07 13:55:23,222 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490690,490703] [2023-12-07 13:55:23,223 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490882,490895] [2023-12-07 13:55:23,223 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[490941,490954] [2023-12-07 13:55:23,223 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491004,491017] [2023-12-07 13:55:23,223 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491082,491095] [2023-12-07 13:55:23,224 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491144,491157] [2023-12-07 13:55:23,224 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491210,491223] [2023-12-07 13:55:23,224 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491284,491297] [2023-12-07 13:55:23,224 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491352,491365] [2023-12-07 13:55:23,225 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491410,491423] [2023-12-07 13:55:23,225 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491473,491486] [2023-12-07 13:55:23,225 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491594,491607] [2023-12-07 13:55:23,226 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491674,491687] [2023-12-07 13:55:23,226 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491822,491835] [2023-12-07 13:55:23,227 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491902,491915] [2023-12-07 13:55:23,227 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[491964,491977] [2023-12-07 13:55:23,228 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[492102,492115] [2023-12-07 13:55:23,228 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[492184,492197] [2023-12-07 13:55:23,229 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[492248,492261] [2023-12-07 13:55:23,229 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[492427,492440] [2023-12-07 13:55:23,240 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[494598,494611] [2023-12-07 13:55:23,240 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[494654,494667] [2023-12-07 13:55:23,240 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[494739,494752] [2023-12-07 13:55:23,240 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[494797,494810] [2023-12-07 13:55:23,241 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[494855,494868] [2023-12-07 13:55:23,241 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495036,495049] [2023-12-07 13:55:23,242 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495205,495218] [2023-12-07 13:55:23,242 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495352,495365] [2023-12-07 13:55:23,243 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495408,495421] [2023-12-07 13:55:23,243 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495460,495473] [2023-12-07 13:55:23,243 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495837,495850] [2023-12-07 13:55:23,260 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495893,495906] [2023-12-07 13:55:23,260 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[495978,495991] [2023-12-07 13:55:23,261 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496036,496049] [2023-12-07 13:55:23,261 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496094,496107] [2023-12-07 13:55:23,262 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496273,496286] [2023-12-07 13:55:23,265 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496438,496451] [2023-12-07 13:55:23,265 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496585,496598] [2023-12-07 13:55:23,266 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496641,496654] [2023-12-07 13:55:23,266 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[496693,496706] [2023-12-07 13:55:23,268 WARN L633 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2023-12-07 13:55:23,294 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[506960,506973] [2023-12-07 13:55:23,294 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[507048,507061] [2023-12-07 13:55:23,296 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[509103,509116] [2023-12-07 13:55:23,298 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[509297,509310] [2023-12-07 13:55:23,299 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[509550,509563] [2023-12-07 13:55:23,300 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[509640,509653] [2023-12-07 13:55:23,300 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[509927,509940] [2023-12-07 13:55:23,301 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[510094,510107] [2023-12-07 13:55:23,303 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[510550,510563] [2023-12-07 13:55:23,303 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[510834,510847] [2023-12-07 13:55:23,320 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511156,511169] [2023-12-07 13:55:23,321 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511274,511287] [2023-12-07 13:55:23,322 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511605,511618] [2023-12-07 13:55:23,322 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511833,511846] [2023-12-07 13:55:23,323 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511892,511905] [2023-12-07 13:55:23,323 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[511950,511963] [2023-12-07 13:55:23,326 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[512181,512194] [2023-12-07 13:55:23,327 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[512237,512250] [2023-12-07 13:55:23,327 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[512470,512483] [2023-12-07 13:55:23,328 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[512526,512539] [2023-12-07 13:55:23,328 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[512804,512817] [2023-12-07 13:55:23,332 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513062,513075] [2023-12-07 13:55:23,332 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513118,513131] [2023-12-07 13:55:23,332 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513310,513323] [2023-12-07 13:55:23,333 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513561,513574] [2023-12-07 13:55:23,333 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513780,513793] [2023-12-07 13:55:23,334 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[513989,514002] [2023-12-07 13:55:23,334 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[514044,514057] [2023-12-07 13:55:23,334 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[514240,514253] [2023-12-07 13:55:23,335 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[514495,514508] [2023-12-07 13:55:23,335 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[514627,514640] [2023-12-07 13:55:23,336 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[514854,514867] [2023-12-07 13:55:23,336 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515071,515084] [2023-12-07 13:55:23,336 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515128,515141] [2023-12-07 13:55:23,337 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515189,515202] [2023-12-07 13:55:23,337 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515387,515400] [2023-12-07 13:55:23,338 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515644,515657] [2023-12-07 13:55:23,339 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[515792,515805] [2023-12-07 13:55:23,340 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[516005,516018] [2023-12-07 13:55:23,340 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[516203,516216] [2023-12-07 13:55:23,340 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[516460,516473] [2023-12-07 13:55:23,341 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[516642,516655] [2023-12-07 13:55:23,343 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[516834,516847] [2023-12-07 13:55:23,344 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517085,517098] [2023-12-07 13:55:23,344 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517483,517496] [2023-12-07 13:55:23,345 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517607,517620] [2023-12-07 13:55:23,345 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517664,517677] [2023-12-07 13:55:23,345 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517716,517729] [2023-12-07 13:55:23,360 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[517908,517921] [2023-12-07 13:55:23,361 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518159,518172] [2023-12-07 13:55:23,362 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518257,518270] [2023-12-07 13:55:23,362 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518314,518327] [2023-12-07 13:55:23,362 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518366,518379] [2023-12-07 13:55:23,363 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518558,518571] [2023-12-07 13:55:23,363 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518809,518822] [2023-12-07 13:55:23,363 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518878,518891] [2023-12-07 13:55:23,364 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518935,518948] [2023-12-07 13:55:23,364 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[518987,519000] [2023-12-07 13:55:23,365 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[519179,519192] [2023-12-07 13:55:23,365 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[519430,519443] [2023-12-07 13:55:23,377 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[522907,522920] [2023-12-07 13:55:23,377 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523010,523023] [2023-12-07 13:55:23,377 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523082,523095] [2023-12-07 13:55:23,378 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523172,523185] [2023-12-07 13:55:23,378 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523225,523238] [2023-12-07 13:55:23,378 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523278,523291] [2023-12-07 13:55:23,378 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523356,523369] [2023-12-07 13:55:23,379 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523432,523445] [2023-12-07 13:55:23,380 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[523977,523990] [2023-12-07 13:55:23,381 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524071,524084] [2023-12-07 13:55:23,381 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524130,524143] [2023-12-07 13:55:23,381 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524321,524334] [2023-12-07 13:55:23,382 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524380,524393] [2023-12-07 13:55:23,383 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524445,524458] [2023-12-07 13:55:23,385 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524504,524517] [2023-12-07 13:55:23,389 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524659,524672] [2023-12-07 13:55:23,389 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524718,524731] [2023-12-07 13:55:23,390 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524783,524796] [2023-12-07 13:55:23,390 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[524842,524855] [2023-12-07 13:55:23,390 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525088,525101] [2023-12-07 13:55:23,404 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525149,525162] [2023-12-07 13:55:23,405 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525324,525337] [2023-12-07 13:55:23,405 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525387,525400] [2023-12-07 13:55:23,405 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525456,525469] [2023-12-07 13:55:23,405 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525519,525532] [2023-12-07 13:55:23,406 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[525974,525987] [2023-12-07 13:55:23,406 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526051,526064] [2023-12-07 13:55:23,406 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526170,526183] [2023-12-07 13:55:23,407 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526229,526242] [2023-12-07 13:55:23,407 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526288,526301] [2023-12-07 13:55:23,407 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526476,526489] [2023-12-07 13:55:23,407 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526629,526642] [2023-12-07 13:55:23,407 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526688,526701] [2023-12-07 13:55:23,408 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[526855,526868] [2023-12-07 13:55:23,409 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[527587,527600] [2023-12-07 13:55:23,409 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[527701,527714] [2023-12-07 13:55:23,409 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528052,528065] [2023-12-07 13:55:23,409 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528122,528135] [2023-12-07 13:55:23,410 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528278,528291] [2023-12-07 13:55:23,410 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528348,528361] [2023-12-07 13:55:23,410 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528579,528592] [2023-12-07 13:55:23,410 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528649,528662] [2023-12-07 13:55:23,411 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528820,528833] [2023-12-07 13:55:23,411 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528890,528903] [2023-12-07 13:55:23,411 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[528970,528983] [2023-12-07 13:55:23,417 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531257,531270] [2023-12-07 13:55:23,417 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531314,531327] [2023-12-07 13:55:23,419 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531473,531486] [2023-12-07 13:55:23,420 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531603,531616] [2023-12-07 13:55:23,420 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531705,531718] [2023-12-07 13:55:23,420 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531835,531848] [2023-12-07 13:55:23,420 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531935,531948] [2023-12-07 13:55:23,421 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[531992,532005] [2023-12-07 13:55:23,421 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[532360,532373] [2023-12-07 13:55:23,421 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[532417,532430] [2023-12-07 13:55:23,422 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[532793,532806] [2023-12-07 13:55:23,422 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[532850,532863] [2023-12-07 13:55:23,422 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[533361,533374] [2023-12-07 13:55:23,423 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[533411,533424] [2023-12-07 13:55:23,423 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[533898,533911] [2023-12-07 13:55:23,423 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534167,534180] [2023-12-07 13:55:23,424 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534292,534305] [2023-12-07 13:55:23,438 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534368,534381] [2023-12-07 13:55:23,439 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534462,534475] [2023-12-07 13:55:23,439 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534523,534536] [2023-12-07 13:55:23,439 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534597,534610] [2023-12-07 13:55:23,440 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534895,534908] [2023-12-07 13:55:23,440 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[534956,534969] [2023-12-07 13:55:23,441 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[535030,535043] [2023-12-07 13:55:23,441 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[535163,535176] [2023-12-07 13:55:23,441 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[535294,535307] [2023-12-07 13:55:23,442 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[535858,535871] [2023-12-07 13:55:23,442 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[535932,535945] [2023-12-07 13:55:23,442 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536017,536030] [2023-12-07 13:55:23,442 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536258,536271] [2023-12-07 13:55:23,443 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536334,536347] [2023-12-07 13:55:23,443 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536432,536445] [2023-12-07 13:55:23,443 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536506,536519] [2023-12-07 13:55:23,443 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536627,536640] [2023-12-07 13:55:23,443 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536701,536714] [2023-12-07 13:55:23,444 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[536957,536970] [2023-12-07 13:55:23,444 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[537358,537371] [2023-12-07 13:55:23,445 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[537772,537785] [2023-12-07 13:55:23,447 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[538055,538068] [2023-12-07 13:55:23,449 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[538181,538194] [2023-12-07 13:55:23,450 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[538399,538412] [2023-12-07 13:55:23,483 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558074,558087] [2023-12-07 13:55:23,485 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558129,558142] [2023-12-07 13:55:23,487 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558220,558233] [2023-12-07 13:55:23,488 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558277,558290] [2023-12-07 13:55:23,488 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558332,558345] [2023-12-07 13:55:23,488 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558423,558436] [2023-12-07 13:55:23,488 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558481,558494] [2023-12-07 13:55:23,488 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558538,558551] [2023-12-07 13:55:23,489 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558636,558649] [2023-12-07 13:55:23,489 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558695,558708] [2023-12-07 13:55:23,489 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558798,558811] [2023-12-07 13:55:23,489 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558857,558870] [2023-12-07 13:55:23,489 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[558914,558927] [2023-12-07 13:55:23,500 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559000,559013] [2023-12-07 13:55:23,500 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559059,559072] [2023-12-07 13:55:23,500 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559171,559184] [2023-12-07 13:55:23,500 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559227,559240] [2023-12-07 13:55:23,501 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559307,559320] [2023-12-07 13:55:23,501 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559364,559377] [2023-12-07 13:55:23,502 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559504,559517] [2023-12-07 13:55:23,502 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559563,559576] [2023-12-07 13:55:23,502 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559662,559675] [2023-12-07 13:55:23,502 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559723,559736] [2023-12-07 13:55:23,502 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559782,559795] [2023-12-07 13:55:23,503 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559881,559894] [2023-12-07 13:55:23,503 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[559943,559956] [2023-12-07 13:55:23,503 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560004,560017] [2023-12-07 13:55:23,503 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560114,560127] [2023-12-07 13:55:23,503 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560177,560190] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560284,560297] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560347,560360] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560408,560421] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560506,560519] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560569,560582] [2023-12-07 13:55:23,504 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560685,560698] [2023-12-07 13:55:23,505 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560745,560758] [2023-12-07 13:55:23,505 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560837,560850] [2023-12-07 13:55:23,505 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[560898,560911] [2023-12-07 13:55:23,543 WARN L633 FunctionHandler]: implicit declaration of function __builtin_strspn [2023-12-07 13:55:23,553 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[587340,587353] [2023-12-07 13:55:23,568 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[587395,587408] [2023-12-07 13:55:23,571 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[587640,587653] [2023-12-07 13:55:23,571 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[587741,587754] [2023-12-07 13:55:23,571 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[587906,587919] [2023-12-07 13:55:23,572 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588144,588157] [2023-12-07 13:55:23,572 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588341,588354] [2023-12-07 13:55:23,572 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588404,588417] [2023-12-07 13:55:23,572 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588562,588575] [2023-12-07 13:55:23,572 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588617,588630] [2023-12-07 13:55:23,573 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[588681,588694] [2023-12-07 13:55:23,589 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589088,589101] [2023-12-07 13:55:23,589 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589211,589224] [2023-12-07 13:55:23,589 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589270,589283] [2023-12-07 13:55:23,589 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589408,589421] [2023-12-07 13:55:23,590 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589556,589569] [2023-12-07 13:55:23,593 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589736,589749] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589791,589804] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589881,589894] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589938,589951] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[589995,590008] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590098,590111] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590153,590166] [2023-12-07 13:55:23,594 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590234,590247] [2023-12-07 13:55:23,596 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590650,590663] [2023-12-07 13:55:23,596 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590709,590722] [2023-12-07 13:55:23,597 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590807,590820] [2023-12-07 13:55:23,597 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[590970,590983] [2023-12-07 13:55:23,597 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591029,591042] [2023-12-07 13:55:23,597 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591143,591156] [2023-12-07 13:55:23,597 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591198,591211] [2023-12-07 13:55:23,598 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591283,591296] [2023-12-07 13:55:23,598 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591378,591391] [2023-12-07 13:55:23,601 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591435,591448] [2023-12-07 13:55:23,601 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591511,591524] [2023-12-07 13:55:23,601 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[591566,591579] [2023-12-07 13:55:23,602 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592057,592070] [2023-12-07 13:55:23,602 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592112,592125] [2023-12-07 13:55:23,602 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592202,592215] [2023-12-07 13:55:23,602 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592259,592272] [2023-12-07 13:55:23,603 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592316,592329] [2023-12-07 13:55:23,603 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592584,592597] [2023-12-07 13:55:23,603 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592643,592656] [2023-12-07 13:55:23,603 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[592702,592715] [2023-12-07 13:55:23,603 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593139,593152] [2023-12-07 13:55:23,604 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593200,593213] [2023-12-07 13:55:23,604 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593261,593274] [2023-12-07 13:55:23,604 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593373,593386] [2023-12-07 13:55:23,604 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593544,593557] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593605,593618] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593666,593679] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593762,593775] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593821,593834] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593880,593893] [2023-12-07 13:55:23,605 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[593981,593994] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594040,594053] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594174,594187] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594229,594242] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594319,594332] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594376,594389] [2023-12-07 13:55:23,606 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594433,594446] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594528,594541] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594586,594599] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594643,594656] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594700,594713] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594776,594789] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594832,594845] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594887,594900] [2023-12-07 13:55:23,607 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[594942,594955] [2023-12-07 13:55:24,094 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[799904,799917] [2023-12-07 13:55:24,094 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[799991,800004] [2023-12-07 13:55:24,094 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[800047,800060] [2023-12-07 13:55:24,095 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[800212,800225] [2023-12-07 13:55:24,124 WARN L239 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/goblint-coreutils/instrumented_interval_cp_comb.i[800269,800282] [2023-12-07 13:55:24,126 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.IllegalArgumentException: cannot determine size of incomplete type at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:184) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructBytesizeExpression(TypeSizeAndOffsetComputer.java:121) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.checkIfNecessaryMemoryModelAdaption(CHandler.java:1029) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:969) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:281) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:734) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:284) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1435) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:222) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1663) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:231) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1663) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:231) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1663) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:231) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1663) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:231) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1096) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1079) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:234) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:386) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1496) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:157) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3405) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2425) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:611) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:133) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.translate(MainTranslator.java:191) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.run(MainTranslator.java:117) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.(MainTranslator.java:95) at de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver.finish(CACSL2BoogieTranslatorObserver.java:147) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:167) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:150) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:127) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:233) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:227) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:144) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:106) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:319) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) [2023-12-07 13:55:24,129 INFO L158 Benchmark]: Toolchain (without parser) took 41212.98ms. Allocated memory was 113.4MB in the beginning and 161.2MB in the end (delta: 47.8MB). Free memory was 24.7MB in the beginning and 60.8MB in the end (delta: -36.1MB). Peak memory consumption was 57.1MB. Max. memory is 3.9GB. [2023-12-07 13:55:24,129 INFO L158 Benchmark]: CDTParser took 0.15ms. Allocated memory is still 60.9MB. Free memory is still 33.6MB. There was no memory consumed. Max. memory is 3.9GB. [2023-12-07 13:55:24,129 INFO L158 Benchmark]: CACSL2BoogieTranslator took 41210.57ms. Allocated memory was 113.4MB in the beginning and 161.2MB in the end (delta: 47.8MB). Free memory was 24.7MB in the beginning and 60.8MB in the end (delta: -36.1MB). Peak memory consumption was 57.1MB. Max. memory is 3.9GB. [2023-12-07 13:55:24,130 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - AssertionsEnabledResult: Assertions are enabled Assertions are enabled - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.15ms. Allocated memory is still 60.9MB. Free memory is still 33.6MB. There was no memory consumed. Max. memory is 3.9GB. * CACSL2BoogieTranslator took 41210.57ms. Allocated memory was 113.4MB in the beginning and 161.2MB in the end (delta: 47.8MB). Free memory was 24.7MB in the beginning and 60.8MB in the end (delta: -36.1MB). Peak memory consumption was 57.1MB. Max. memory is 3.9GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: IllegalArgumentException: cannot determine size of incomplete type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: cannot determine size of incomplete type: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request...