./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 4fc63b2a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/config/AutomizerReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 983abd99a19c0fb2c299fef3c5e968ab6393a073f240f1283828f218ef38f546 --- Real Ultimate output --- This is Ultimate 0.2.5-dev-4fc63b2 [2024-10-31 21:55:52,052 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-31 21:55:52,167 INFO L114 SettingsManager]: Loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/config/svcomp-Reach-64bit-Automizer_Default.epf [2024-10-31 21:55:52,175 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-31 21:55:52,177 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-31 21:55:52,203 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-31 21:55:52,204 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-31 21:55:52,205 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-31 21:55:52,206 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-31 21:55:52,207 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-31 21:55:52,207 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-31 21:55:52,208 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-31 21:55:52,209 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-31 21:55:52,209 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-31 21:55:52,211 INFO L153 SettingsManager]: * Use SBE=true [2024-10-31 21:55:52,212 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-31 21:55:52,212 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-31 21:55:52,213 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-10-31 21:55:52,213 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-31 21:55:52,213 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-31 21:55:52,214 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-31 21:55:52,218 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-31 21:55:52,218 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-31 21:55:52,219 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-31 21:55:52,219 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-31 21:55:52,219 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-31 21:55:52,220 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-31 21:55:52,220 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-31 21:55:52,220 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-31 21:55:52,220 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-31 21:55:52,223 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-31 21:55:52,224 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-31 21:55:52,224 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-31 21:55:52,224 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL [2024-10-31 21:55:52,225 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2024-10-31 21:55:52,225 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-31 21:55:52,226 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-31 21:55:52,226 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-31 21:55:52,227 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-31 21:55:52,227 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:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/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 Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 983abd99a19c0fb2c299fef3c5e968ab6393a073f240f1283828f218ef38f546 [2024-10-31 21:55:52,538 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-31 21:55:52,571 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-31 21:55:52,577 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-31 21:55:52,580 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-31 21:55:52,583 INFO L274 PluginConnector]: CDTParser initialized [2024-10-31 21:55:52,584 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/../../sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i Unable to find full path for "g++" [2024-10-31 21:55:54,636 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-31 21:55:56,768 INFO L384 CDTParser]: Found 1 translation units. [2024-10-31 21:55:56,769 INFO L180 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i [2024-10-31 21:55:57,031 INFO L427 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/data/b18f8ca38/a9c2ebc7b47f416d9b78ce236d208521/FLAG2b582a4b3 [2024-10-31 21:55:57,214 INFO L435 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/bin/uautomizer-verify-4GaUIPS5ZU/data/b18f8ca38/a9c2ebc7b47f416d9b78ce236d208521 [2024-10-31 21:55:57,218 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-31 21:55:57,221 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-31 21:55:57,222 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-31 21:55:57,223 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-31 21:55:57,232 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-31 21:55:57,233 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 09:55:57" (1/1) ... [2024-10-31 21:55:57,234 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@62060a0e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 09:55:57, skipping insertion in model container [2024-10-31 21:55:57,235 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 09:55:57" (1/1) ... [2024-10-31 21:55:57,899 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-31 21:56:29,676 WARN L634 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2024-10-31 21:56:29,677 WARN L634 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2024-10-31 21:56:29,678 WARN L634 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2024-10-31 21:56:29,679 WARN L634 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2024-10-31 21:56:29,682 WARN L634 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2024-10-31 21:56:29,683 WARN L634 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2024-10-31 21:56:29,684 WARN L634 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2024-10-31 21:56:29,686 WARN L634 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2024-10-31 21:56:29,687 WARN L634 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2024-10-31 21:56:29,801 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[478337,478350] [2024-10-31 21:56:29,806 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[478518,478531] [2024-10-31 21:56:29,808 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[478687,478700] [2024-10-31 21:56:29,809 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[478830,478843] [2024-10-31 21:56:29,811 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[479236,479249] [2024-10-31 21:56:29,815 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[479415,479428] [2024-10-31 21:56:29,816 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[479579,479592] [2024-10-31 21:56:29,817 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[479721,479734] [2024-10-31 21:56:29,819 WARN L634 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2024-10-31 21:56:29,833 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[489988,490001] [2024-10-31 21:56:29,833 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[490076,490089] [2024-10-31 21:56:29,839 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[492131,492144] [2024-10-31 21:56:29,843 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[492279,492292] [2024-10-31 21:56:29,844 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[492483,492496] [2024-10-31 21:56:29,846 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[492573,492586] [2024-10-31 21:56:29,847 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[492860,492873] [2024-10-31 21:56:29,848 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[493027,493040] [2024-10-31 21:56:29,852 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[493434,493447] [2024-10-31 21:56:29,854 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[493718,493731] [2024-10-31 21:56:29,856 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[494040,494053] [2024-10-31 21:56:29,857 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[494158,494171] [2024-10-31 21:56:29,858 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[494489,494502] [2024-10-31 21:56:29,860 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[494717,494730] [2024-10-31 21:56:29,860 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[494775,494788] [2024-10-31 21:56:29,861 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495005,495018] [2024-10-31 21:56:29,862 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495237,495250] [2024-10-31 21:56:29,864 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495515,495528] [2024-10-31 21:56:29,865 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495773,495786] [2024-10-31 21:56:29,865 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495829,495842] [2024-10-31 21:56:29,868 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[495936,495949] [2024-10-31 21:56:29,869 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496081,496094] [2024-10-31 21:56:29,870 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496300,496313] [2024-10-31 21:56:29,872 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496509,496522] [2024-10-31 21:56:29,873 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496564,496577] [2024-10-31 21:56:29,873 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496675,496688] [2024-10-31 21:56:29,875 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496824,496837] [2024-10-31 21:56:29,875 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[496956,496969] [2024-10-31 21:56:29,877 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497183,497196] [2024-10-31 21:56:29,878 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497400,497413] [2024-10-31 21:56:29,880 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497457,497470] [2024-10-31 21:56:29,880 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497518,497531] [2024-10-31 21:56:29,881 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497631,497644] [2024-10-31 21:56:29,882 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497782,497795] [2024-10-31 21:56:29,884 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[497930,497943] [2024-10-31 21:56:29,885 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498143,498156] [2024-10-31 21:56:29,886 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498256,498269] [2024-10-31 21:56:29,887 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498407,498420] [2024-10-31 21:56:29,888 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498589,498602] [2024-10-31 21:56:29,888 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498696,498709] [2024-10-31 21:56:29,890 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[498841,498854] [2024-10-31 21:56:29,891 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499313,499326] [2024-10-31 21:56:29,893 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499365,499378] [2024-10-31 21:56:29,894 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499472,499485] [2024-10-31 21:56:29,895 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499617,499630] [2024-10-31 21:56:29,896 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499719,499732] [2024-10-31 21:56:29,896 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499771,499784] [2024-10-31 21:56:29,897 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[499878,499891] [2024-10-31 21:56:29,898 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[500023,500036] [2024-10-31 21:56:29,898 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[500096,500109] [2024-10-31 21:56:29,899 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[500148,500161] [2024-10-31 21:56:29,899 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[500255,500268] [2024-10-31 21:56:29,901 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[500400,500413] [2024-10-31 21:56:29,910 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[502344,502357] [2024-10-31 21:56:29,911 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[502482,502495] [2024-10-31 21:56:29,912 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[502637,502650] [2024-10-31 21:56:29,912 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[502778,502791] [2024-10-31 21:56:29,913 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[502850,502863] [2024-10-31 21:56:29,920 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504199,504212] [2024-10-31 21:56:29,923 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504302,504315] [2024-10-31 21:56:29,924 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504374,504387] [2024-10-31 21:56:29,924 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504426,504439] [2024-10-31 21:56:29,925 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504477,504490] [2024-10-31 21:56:29,925 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504567,504580] [2024-10-31 21:56:29,926 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504621,504634] [2024-10-31 21:56:29,927 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504674,504687] [2024-10-31 21:56:29,927 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504752,504765] [2024-10-31 21:56:29,928 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504806,504819] [2024-10-31 21:56:29,928 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504859,504872] [2024-10-31 21:56:29,929 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504935,504948] [2024-10-31 21:56:29,929 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[504987,505000] [2024-10-31 21:56:29,930 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[505038,505051] [2024-10-31 21:56:29,995 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[534422,534435] [2024-10-31 21:56:29,995 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[534512,534525] [2024-10-31 21:56:29,997 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[534655,534668] [2024-10-31 21:56:29,998 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[534947,534960] [2024-10-31 21:56:29,999 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[535045,535058] [2024-10-31 21:56:30,000 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[535200,535213] [2024-10-31 21:56:30,038 WARN L634 FunctionHandler]: implicit declaration of function __builtin_strspn [2024-10-31 21:56:30,058 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[560953,560966] [2024-10-31 21:56:30,060 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[561151,561164] [2024-10-31 21:56:30,061 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[561438,561451] [2024-10-31 21:56:30,061 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[561564,561577] [2024-10-31 21:56:30,063 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[562227,562240] [2024-10-31 21:56:30,066 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[562328,562341] [2024-10-31 21:56:30,066 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[562493,562506] [2024-10-31 21:56:30,067 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[562731,562744] [2024-10-31 21:56:30,069 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[563008,563021] [2024-10-31 21:56:30,076 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[564956,564969] [2024-10-31 21:56:30,078 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[565223,565236] [2024-10-31 21:56:30,079 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[565659,565672] [2024-10-31 21:56:30,080 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[565771,565784] [2024-10-31 21:56:30,081 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[565941,565954] [2024-10-31 21:56:30,082 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[566036,566049] [2024-10-31 21:56:30,083 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[566244,566257] [2024-10-31 21:56:30,654 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[765833,765846] [2024-10-31 21:56:30,656 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[766460,766473] [2024-10-31 21:56:30,656 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[766520,766533] [2024-10-31 21:56:30,660 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[768456,768469] [2024-10-31 21:56:30,661 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[768856,768869] [2024-10-31 21:56:30,662 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[769571,769584] [2024-10-31 21:56:30,663 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[769675,769688] [2024-10-31 21:56:30,664 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[770357,770370] [2024-10-31 21:56:30,665 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[770539,770552] [2024-10-31 21:56:30,674 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[775121,775134] [2024-10-31 21:56:30,675 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[775646,775659] [2024-10-31 21:56:30,717 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[812170,812183] [2024-10-31 21:56:30,720 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[812385,812398] [2024-10-31 21:56:30,721 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[812532,812545] [2024-10-31 21:56:30,721 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[812756,812769] [2024-10-31 21:56:30,723 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[812848,812861] [2024-10-31 21:56:30,726 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[814471,814484] [2024-10-31 21:56:30,727 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[814837,814850] [2024-10-31 21:56:30,728 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[814915,814928] [2024-10-31 21:56:30,729 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[815120,815133] [2024-10-31 21:56:30,730 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[815203,815216] [2024-10-31 21:56:30,731 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[815284,815297] [2024-10-31 21:56:30,732 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[815716,815729] [2024-10-31 21:56:30,737 WARN L634 FunctionHandler]: implicit declaration of function __builtin_strcspn [2024-10-31 21:56:30,739 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[816525,816538] [2024-10-31 21:56:30,739 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[816723,816736] [2024-10-31 21:56:30,740 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[816904,816917] [2024-10-31 21:56:30,748 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[821676,821689] [2024-10-31 21:56:30,749 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[821770,821783] [2024-10-31 21:56:30,750 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[821880,821893] [2024-10-31 21:56:30,750 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[821963,821976] [2024-10-31 21:56:30,751 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822033,822046] [2024-10-31 21:56:30,751 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822101,822114] [2024-10-31 21:56:30,752 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822246,822259] [2024-10-31 21:56:30,752 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822340,822353] [2024-10-31 21:56:30,752 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822448,822461] [2024-10-31 21:56:30,753 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822535,822548] [2024-10-31 21:56:30,753 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822605,822618] [2024-10-31 21:56:30,754 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822674,822687] [2024-10-31 21:56:30,754 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[822742,822755] [2024-10-31 21:56:30,755 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[823135,823148] [2024-10-31 21:56:30,763 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[828427,828440] [2024-10-31 21:56:30,768 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[828573,828586] [2024-10-31 21:56:30,771 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[830061,830074] [2024-10-31 21:56:30,773 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[830224,830237] [2024-10-31 21:56:30,773 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[830336,830349] [2024-10-31 21:56:30,774 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[830457,830470] [2024-10-31 21:56:30,775 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[831357,831370] [2024-10-31 21:56:30,776 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[831449,831462] [2024-10-31 21:56:30,778 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[832319,832332] [2024-10-31 21:56:30,781 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[834048,834061] [2024-10-31 21:56:30,782 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[834449,834462] [2024-10-31 21:56:30,783 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[835131,835144] [2024-10-31 21:56:30,785 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[836046,836059] [2024-10-31 21:56:30,786 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[836214,836227] [2024-10-31 21:56:30,786 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[836474,836487] [2024-10-31 21:56:30,787 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[836650,836663] [2024-10-31 21:56:30,788 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[837443,837456] [2024-10-31 21:56:30,789 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[837509,837522] [2024-10-31 21:56:30,791 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[837868,837881] [2024-10-31 21:56:30,791 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[837932,837945] [2024-10-31 21:56:30,792 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[838258,838271] [2024-10-31 21:56:30,793 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[838420,838433] [2024-10-31 21:56:30,794 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[838963,838976] [2024-10-31 21:56:30,794 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[839067,839080] [2024-10-31 21:56:30,795 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[839133,839146] [2024-10-31 21:56:30,797 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[839226,839239] [2024-10-31 21:56:30,798 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[839290,839303] [2024-10-31 21:56:30,798 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[839553,839566] [2024-10-31 21:56:30,800 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[840629,840642] [2024-10-31 21:56:30,801 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[840714,840727] [2024-10-31 21:56:30,801 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[840799,840812] [2024-10-31 21:56:30,802 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[840857,840870] [2024-10-31 21:56:30,803 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[840952,840965] [2024-10-31 21:56:30,804 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841069,841082] [2024-10-31 21:56:30,807 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841247,841260] [2024-10-31 21:56:30,808 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841362,841375] [2024-10-31 21:56:30,808 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841425,841438] [2024-10-31 21:56:30,808 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841488,841501] [2024-10-31 21:56:30,808 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841537,841550] [2024-10-31 21:56:30,811 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[841984,841997] [2024-10-31 21:56:30,811 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842049,842062] [2024-10-31 21:56:30,812 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842114,842127] [2024-10-31 21:56:30,812 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842165,842178] [2024-10-31 21:56:30,813 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842217,842230] [2024-10-31 21:56:30,814 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842465,842478] [2024-10-31 21:56:30,815 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842611,842624] [2024-10-31 21:56:30,816 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842674,842687] [2024-10-31 21:56:30,817 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842737,842750] [2024-10-31 21:56:30,818 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842787,842800] [2024-10-31 21:56:30,818 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[842880,842893] [2024-10-31 21:56:30,819 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843013,843026] [2024-10-31 21:56:30,819 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843336,843349] [2024-10-31 21:56:30,820 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843449,843462] [2024-10-31 21:56:30,823 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843586,843599] [2024-10-31 21:56:30,823 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843653,843666] [2024-10-31 21:56:30,824 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843780,843793] [2024-10-31 21:56:30,824 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[843847,843860] [2024-10-31 21:56:30,825 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[844283,844296] [2024-10-31 21:56:30,826 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[844513,844526] [2024-10-31 21:56:30,827 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845304,845317] [2024-10-31 21:56:30,827 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845371,845384] [2024-10-31 21:56:30,828 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845438,845451] [2024-10-31 21:56:30,828 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845492,845505] [2024-10-31 21:56:30,829 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845649,845662] [2024-10-31 21:56:30,829 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845716,845729] [2024-10-31 21:56:30,830 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845783,845796] [2024-10-31 21:56:30,830 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845837,845850] [2024-10-31 21:56:30,831 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[845953,845966] [2024-10-31 21:56:30,831 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846020,846033] [2024-10-31 21:56:30,832 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846087,846100] [2024-10-31 21:56:30,832 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846141,846154] [2024-10-31 21:56:30,832 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846294,846307] [2024-10-31 21:56:30,833 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846359,846372] [2024-10-31 21:56:30,833 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846424,846437] [2024-10-31 21:56:30,834 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846476,846489] [2024-10-31 21:56:30,834 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846659,846672] [2024-10-31 21:56:30,835 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846764,846777] [2024-10-31 21:56:30,835 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846876,846889] [2024-10-31 21:56:30,835 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[846939,846952] [2024-10-31 21:56:30,836 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[847002,847015] [2024-10-31 21:56:30,836 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[847052,847065] [2024-10-31 21:56:30,838 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[847837,847850] [2024-10-31 21:56:30,838 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[847963,847976] [2024-10-31 21:56:30,839 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[848063,848076] [2024-10-31 21:56:30,998 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[883043,883056] [2024-10-31 21:56:31,002 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[883130,883143] [2024-10-31 21:56:31,004 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[883900,883913] [2024-10-31 21:56:31,008 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[883987,884000] [2024-10-31 21:56:31,009 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[884257,884270] [2024-10-31 21:56:31,019 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[887913,887926] [2024-10-31 21:56:31,023 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888012,888025] [2024-10-31 21:56:31,024 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888109,888122] [2024-10-31 21:56:31,025 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888232,888245] [2024-10-31 21:56:31,029 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888374,888387] [2024-10-31 21:56:31,030 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888648,888661] [2024-10-31 21:56:31,031 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888720,888733] [2024-10-31 21:56:31,031 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888792,888805] [2024-10-31 21:56:31,033 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[888886,888899] [2024-10-31 21:56:31,033 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889007,889020] [2024-10-31 21:56:31,036 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889287,889300] [2024-10-31 21:56:31,036 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889396,889409] [2024-10-31 21:56:31,037 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889486,889499] [2024-10-31 21:56:31,038 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889633,889646] [2024-10-31 21:56:31,039 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889733,889746] [2024-10-31 21:56:31,040 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889815,889828] [2024-10-31 21:56:31,040 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889872,889885] [2024-10-31 21:56:31,041 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889932,889945] [2024-10-31 21:56:31,043 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[889992,890005] [2024-10-31 21:56:31,045 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890063,890076] [2024-10-31 21:56:31,046 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890135,890148] [2024-10-31 21:56:31,050 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890193,890206] [2024-10-31 21:56:31,050 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890250,890263] [2024-10-31 21:56:31,051 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890345,890358] [2024-10-31 21:56:31,052 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890501,890514] [2024-10-31 21:56:31,052 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890614,890627] [2024-10-31 21:56:31,057 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890674,890687] [2024-10-31 21:56:31,058 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890775,890788] [2024-10-31 21:56:31,059 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890875,890888] [2024-10-31 21:56:31,059 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[890957,890970] [2024-10-31 21:56:31,060 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891014,891027] [2024-10-31 21:56:31,062 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891074,891087] [2024-10-31 21:56:31,063 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891134,891147] [2024-10-31 21:56:31,064 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891205,891218] [2024-10-31 21:56:31,064 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891277,891290] [2024-10-31 21:56:31,065 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891335,891348] [2024-10-31 21:56:31,066 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891393,891406] [2024-10-31 21:56:31,066 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891450,891463] [2024-10-31 21:56:31,067 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891513,891526] [2024-10-31 21:56:31,068 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891609,891622] [2024-10-31 21:56:31,069 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891740,891753] [2024-10-31 21:56:31,069 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[891824,891837] [2024-10-31 21:56:31,070 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[892013,892026] [2024-10-31 21:56:31,073 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894120,894133] [2024-10-31 21:56:31,077 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894204,894217] [2024-10-31 21:56:31,078 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894263,894276] [2024-10-31 21:56:31,079 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894325,894338] [2024-10-31 21:56:31,079 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894387,894400] [2024-10-31 21:56:31,083 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894460,894473] [2024-10-31 21:56:31,084 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894534,894547] [2024-10-31 21:56:31,084 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894594,894607] [2024-10-31 21:56:31,086 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894654,894667] [2024-10-31 21:56:31,089 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894713,894726] [2024-10-31 21:56:31,090 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894776,894789] [2024-10-31 21:56:31,091 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894841,894854] [2024-10-31 21:56:31,092 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[894919,894932] [2024-10-31 21:56:31,093 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895019,895032] [2024-10-31 21:56:31,093 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895101,895114] [2024-10-31 21:56:31,094 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895158,895171] [2024-10-31 21:56:31,095 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895218,895231] [2024-10-31 21:56:31,095 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895278,895291] [2024-10-31 21:56:31,096 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895349,895362] [2024-10-31 21:56:31,097 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895421,895434] [2024-10-31 21:56:31,097 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895479,895492] [2024-10-31 21:56:31,098 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895537,895550] [2024-10-31 21:56:31,099 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895594,895607] [2024-10-31 21:56:31,101 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895655,895668] [2024-10-31 21:56:31,101 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895718,895731] [2024-10-31 21:56:31,102 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[895794,895807] [2024-10-31 21:56:31,104 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[897292,897305] [2024-10-31 21:56:31,105 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[897508,897521] [2024-10-31 21:56:31,106 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[897803,897816] [2024-10-31 21:56:31,107 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898019,898032] [2024-10-31 21:56:31,112 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898432,898445] [2024-10-31 21:56:31,113 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898510,898523] [2024-10-31 21:56:31,113 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898566,898579] [2024-10-31 21:56:31,114 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898633,898646] [2024-10-31 21:56:31,114 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898888,898901] [2024-10-31 21:56:31,115 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[898966,898979] [2024-10-31 21:56:31,115 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[899022,899035] [2024-10-31 21:56:31,116 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[899089,899102] [2024-10-31 21:56:31,119 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[902857,902870] [2024-10-31 21:56:31,123 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[902957,902970] [2024-10-31 21:56:31,124 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903158,903171] [2024-10-31 21:56:31,126 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903238,903251] [2024-10-31 21:56:31,127 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903298,903311] [2024-10-31 21:56:31,127 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903356,903369] [2024-10-31 21:56:31,128 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903425,903438] [2024-10-31 21:56:31,132 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903489,903502] [2024-10-31 21:56:31,133 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903549,903562] [2024-10-31 21:56:31,133 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903707,903720] [2024-10-31 21:56:31,134 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903769,903782] [2024-10-31 21:56:31,135 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903868,903881] [2024-10-31 21:56:31,135 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[903975,903988] [2024-10-31 21:56:31,136 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904074,904087] [2024-10-31 21:56:31,140 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904164,904177] [2024-10-31 21:56:31,141 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904244,904257] [2024-10-31 21:56:31,141 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904304,904317] [2024-10-31 21:56:31,142 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904362,904375] [2024-10-31 21:56:31,143 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904431,904444] [2024-10-31 21:56:31,143 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904495,904508] [2024-10-31 21:56:31,144 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904555,904568] [2024-10-31 21:56:31,144 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904616,904629] [2024-10-31 21:56:31,145 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904714,904727] [2024-10-31 21:56:31,146 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904843,904856] [2024-10-31 21:56:31,146 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[904925,904938] [2024-10-31 21:56:31,147 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[905098,905111] [2024-10-31 21:56:31,148 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[905211,905224] [2024-10-31 21:56:31,148 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[905277,905290] [2024-10-31 21:56:31,149 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[905464,905477] [2024-10-31 21:56:31,150 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906102,906115] [2024-10-31 21:56:31,151 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906194,906207] [2024-10-31 21:56:31,152 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906262,906275] [2024-10-31 21:56:31,153 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906334,906347] [2024-10-31 21:56:31,157 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906404,906417] [2024-10-31 21:56:31,158 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906485,906498] [2024-10-31 21:56:31,159 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906561,906574] [2024-10-31 21:56:31,159 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906633,906646] [2024-10-31 21:56:31,162 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906719,906732] [2024-10-31 21:56:31,163 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906791,906804] [2024-10-31 21:56:31,164 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906866,906879] [2024-10-31 21:56:31,165 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[906939,906952] [2024-10-31 21:56:31,165 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[907015,907028] [2024-10-31 21:56:31,166 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[907355,907368] [2024-10-31 21:56:31,168 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[907997,908010] [2024-10-31 21:56:31,168 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908089,908102] [2024-10-31 21:56:31,169 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908161,908174] [2024-10-31 21:56:31,170 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908231,908244] [2024-10-31 21:56:31,171 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908312,908325] [2024-10-31 21:56:31,174 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908388,908401] [2024-10-31 21:56:31,175 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908460,908473] [2024-10-31 21:56:31,176 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908546,908559] [2024-10-31 21:56:31,177 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908614,908627] [2024-10-31 21:56:31,178 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908686,908699] [2024-10-31 21:56:31,178 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908761,908774] [2024-10-31 21:56:31,179 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908834,908847] [2024-10-31 21:56:31,180 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[908910,908923] [2024-10-31 21:56:31,181 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909308,909321] [2024-10-31 21:56:31,181 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909390,909403] [2024-10-31 21:56:31,182 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909452,909465] [2024-10-31 21:56:31,182 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909512,909525] [2024-10-31 21:56:31,184 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909583,909596] [2024-10-31 21:56:31,185 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909649,909662] [2024-10-31 21:56:31,185 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909711,909724] [2024-10-31 21:56:31,186 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909787,909800] [2024-10-31 21:56:31,186 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909852,909865] [2024-10-31 21:56:31,187 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[909915,909928] [2024-10-31 21:56:31,188 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910005,910018] [2024-10-31 21:56:31,189 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910085,910098] [2024-10-31 21:56:31,191 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910145,910158] [2024-10-31 21:56:31,192 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910203,910216] [2024-10-31 21:56:31,192 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910272,910285] [2024-10-31 21:56:31,193 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910336,910349] [2024-10-31 21:56:31,194 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910396,910409] [2024-10-31 21:56:31,197 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910470,910483] [2024-10-31 21:56:31,198 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910533,910546] [2024-10-31 21:56:31,198 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910594,910607] [2024-10-31 21:56:31,199 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[910922,910935] [2024-10-31 21:56:31,200 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911028,911041] [2024-10-31 21:56:31,200 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911301,911314] [2024-10-31 21:56:31,201 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911407,911420] [2024-10-31 21:56:31,202 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911573,911586] [2024-10-31 21:56:31,202 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911651,911664] [2024-10-31 21:56:31,202 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911707,911720] [2024-10-31 21:56:31,204 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911774,911787] [2024-10-31 21:56:31,205 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911835,911848] [2024-10-31 21:56:31,205 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[911936,911949] [2024-10-31 21:56:31,206 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912042,912055] [2024-10-31 21:56:31,207 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912140,912153] [2024-10-31 21:56:31,207 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912226,912239] [2024-10-31 21:56:31,208 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912304,912317] [2024-10-31 21:56:31,208 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912360,912373] [2024-10-31 21:56:31,209 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912427,912440] [2024-10-31 21:56:31,209 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912488,912501] [2024-10-31 21:56:31,210 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912794,912807] [2024-10-31 21:56:31,211 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[912900,912913] [2024-10-31 21:56:31,212 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913487,913500] [2024-10-31 21:56:31,213 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913688,913701] [2024-10-31 21:56:31,213 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913768,913781] [2024-10-31 21:56:31,214 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913826,913839] [2024-10-31 21:56:31,215 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913895,913908] [2024-10-31 21:56:31,215 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[913958,913971] [2024-10-31 21:56:31,216 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914116,914129] [2024-10-31 21:56:31,216 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914323,914336] [2024-10-31 21:56:31,217 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914403,914416] [2024-10-31 21:56:31,217 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914461,914474] [2024-10-31 21:56:31,218 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914530,914543] [2024-10-31 21:56:31,219 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914593,914606] [2024-10-31 21:56:31,219 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914774,914787] [2024-10-31 21:56:31,220 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[914947,914960] [2024-10-31 21:56:31,221 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[915060,915073] [2024-10-31 21:56:31,221 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[915247,915260] [2024-10-31 21:56:31,222 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[915889,915902] [2024-10-31 21:56:31,223 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[915981,915994] [2024-10-31 21:56:31,224 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916049,916062] [2024-10-31 21:56:31,224 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916119,916132] [2024-10-31 21:56:31,225 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916200,916213] [2024-10-31 21:56:31,226 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916286,916299] [2024-10-31 21:56:31,226 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916361,916374] [2024-10-31 21:56:31,227 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916433,916446] [2024-10-31 21:56:31,228 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916509,916522] [2024-10-31 21:56:31,230 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[916852,916865] [2024-10-31 21:56:31,231 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917494,917507] [2024-10-31 21:56:31,231 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917586,917599] [2024-10-31 21:56:31,232 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917656,917669] [2024-10-31 21:56:31,233 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917737,917750] [2024-10-31 21:56:31,233 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917823,917836] [2024-10-31 21:56:31,234 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917891,917904] [2024-10-31 21:56:31,235 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[917966,917979] [2024-10-31 21:56:31,235 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918038,918051] [2024-10-31 21:56:31,237 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918114,918127] [2024-10-31 21:56:31,239 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918543,918556] [2024-10-31 21:56:31,240 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918625,918638] [2024-10-31 21:56:31,240 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918685,918698] [2024-10-31 21:56:31,241 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918756,918769] [2024-10-31 21:56:31,241 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918832,918845] [2024-10-31 21:56:31,241 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918897,918910] [2024-10-31 21:56:31,242 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[918987,919000] [2024-10-31 21:56:31,242 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919067,919080] [2024-10-31 21:56:31,243 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919125,919138] [2024-10-31 21:56:31,247 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919194,919207] [2024-10-31 21:56:31,248 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919268,919281] [2024-10-31 21:56:31,248 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919331,919344] [2024-10-31 21:56:31,249 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919575,919588] [2024-10-31 21:56:31,250 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919659,919672] [2024-10-31 21:56:31,251 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919730,919743] [2024-10-31 21:56:31,252 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919841,919854] [2024-10-31 21:56:31,252 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[919912,919925] [2024-10-31 21:56:31,253 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920038,920051] [2024-10-31 21:56:31,253 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920134,920147] [2024-10-31 21:56:31,254 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920209,920222] [2024-10-31 21:56:31,255 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920323,920336] [2024-10-31 21:56:31,255 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920401,920414] [2024-10-31 21:56:31,256 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920468,920481] [2024-10-31 21:56:31,256 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920535,920548] [2024-10-31 21:56:31,256 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920596,920609] [2024-10-31 21:56:31,257 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[920955,920968] [2024-10-31 21:56:31,258 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921221,921234] [2024-10-31 21:56:31,258 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921329,921342] [2024-10-31 21:56:31,259 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921558,921571] [2024-10-31 21:56:31,259 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921640,921653] [2024-10-31 21:56:31,260 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921711,921724] [2024-10-31 21:56:31,260 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921782,921795] [2024-10-31 21:56:31,261 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921847,921860] [2024-10-31 21:56:31,261 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921910,921923] [2024-10-31 21:56:31,262 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[921991,922004] [2024-10-31 21:56:31,262 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922183,922196] [2024-10-31 21:56:31,263 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922247,922260] [2024-10-31 21:56:31,264 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922424,922437] [2024-10-31 21:56:31,264 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922565,922578] [2024-10-31 21:56:31,265 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922647,922660] [2024-10-31 21:56:31,265 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922718,922731] [2024-10-31 21:56:31,266 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922789,922802] [2024-10-31 21:56:31,266 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922854,922867] [2024-10-31 21:56:31,267 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922917,922930] [2024-10-31 21:56:31,268 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[922998,923011] [2024-10-31 21:56:31,268 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[923194,923207] [2024-10-31 21:56:31,269 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[923383,923396] [2024-10-31 21:56:31,270 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[923521,923534] [2024-10-31 21:56:31,271 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[923589,923602] [2024-10-31 21:56:31,272 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[923788,923801] [2024-10-31 21:56:31,273 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924474,924487] [2024-10-31 21:56:31,273 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924568,924581] [2024-10-31 21:56:31,275 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924638,924651] [2024-10-31 21:56:31,275 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924710,924723] [2024-10-31 21:56:31,276 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924793,924806] [2024-10-31 21:56:31,277 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924876,924889] [2024-10-31 21:56:31,278 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[924964,924977] [2024-10-31 21:56:31,278 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925041,925054] [2024-10-31 21:56:31,279 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925116,925129] [2024-10-31 21:56:31,280 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925209,925222] [2024-10-31 21:56:31,281 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925283,925296] [2024-10-31 21:56:31,282 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925361,925374] [2024-10-31 21:56:31,282 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[925730,925743] [2024-10-31 21:56:31,283 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926416,926429] [2024-10-31 21:56:31,284 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926510,926523] [2024-10-31 21:56:31,285 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926582,926595] [2024-10-31 21:56:31,286 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926665,926678] [2024-10-31 21:56:31,287 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926748,926761] [2024-10-31 21:56:31,288 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926836,926849] [2024-10-31 21:56:31,290 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926906,926919] [2024-10-31 21:56:31,291 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[926983,926996] [2024-10-31 21:56:31,293 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[927058,927071] [2024-10-31 21:56:31,294 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[927151,927164] [2024-10-31 21:56:31,295 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[927225,927238] [2024-10-31 21:56:31,296 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[927303,927316] [2024-10-31 21:56:31,297 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[927935,927948] [2024-10-31 21:56:31,298 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[928164,928177] [2024-10-31 21:56:31,299 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[928293,928306] [2024-10-31 21:56:31,300 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[928536,928549] [2024-10-31 21:56:31,301 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[928971,928984] [2024-10-31 21:56:31,301 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929053,929066] [2024-10-31 21:56:31,302 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929124,929137] [2024-10-31 21:56:31,303 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929195,929208] [2024-10-31 21:56:31,303 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929271,929284] [2024-10-31 21:56:31,304 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929336,929349] [2024-10-31 21:56:31,305 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929399,929412] [2024-10-31 21:56:31,305 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[929480,929493] [2024-10-31 21:56:31,306 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[930015,930028] [2024-10-31 21:56:31,307 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[930334,930347] [2024-10-31 21:56:31,308 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[930921,930934] [2024-10-31 21:56:31,309 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[931156,931169] [2024-10-31 21:56:31,310 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[931430,931443] [2024-10-31 21:56:31,310 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[931521,931534] [2024-10-31 21:56:31,311 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[931579,931592] [2024-10-31 21:56:31,311 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[931919,931932] [2024-10-31 21:56:31,312 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932026,932039] [2024-10-31 21:56:31,313 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932104,932117] [2024-10-31 21:56:31,313 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932171,932184] [2024-10-31 21:56:31,314 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932232,932245] [2024-10-31 21:56:31,314 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932327,932340] [2024-10-31 21:56:31,315 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932498,932511] [2024-10-31 21:56:31,316 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932576,932589] [2024-10-31 21:56:31,316 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932643,932656] [2024-10-31 21:56:31,317 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932704,932717] [2024-10-31 21:56:31,318 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932837,932850] [2024-10-31 21:56:31,318 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[932958,932971] [2024-10-31 21:56:31,319 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933087,933100] [2024-10-31 21:56:31,319 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933165,933178] [2024-10-31 21:56:31,320 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933232,933245] [2024-10-31 21:56:31,320 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933293,933306] [2024-10-31 21:56:31,321 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933606,933619] [2024-10-31 21:56:31,322 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933686,933699] [2024-10-31 21:56:31,323 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933755,933768] [2024-10-31 21:56:31,323 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[933818,933831] [2024-10-31 21:56:31,325 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934081,934094] [2024-10-31 21:56:31,325 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934336,934349] [2024-10-31 21:56:31,326 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934414,934427] [2024-10-31 21:56:31,327 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934481,934494] [2024-10-31 21:56:31,328 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934542,934555] [2024-10-31 21:56:31,329 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934692,934705] [2024-10-31 21:56:31,329 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934770,934783] [2024-10-31 21:56:31,330 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934837,934850] [2024-10-31 21:56:31,330 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[934898,934911] [2024-10-31 21:56:31,331 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935007,935020] [2024-10-31 21:56:31,332 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935156,935169] [2024-10-31 21:56:31,332 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935281,935294] [2024-10-31 21:56:31,333 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935441,935454] [2024-10-31 21:56:31,334 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935563,935576] [2024-10-31 21:56:31,334 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935643,935656] [2024-10-31 21:56:31,335 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935717,935730] [2024-10-31 21:56:31,335 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935786,935799] [2024-10-31 21:56:31,336 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935849,935862] [2024-10-31 21:56:31,336 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[935986,935999] [2024-10-31 21:56:31,337 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936064,936077] [2024-10-31 21:56:31,338 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936131,936144] [2024-10-31 21:56:31,338 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936192,936205] [2024-10-31 21:56:31,339 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936277,936290] [2024-10-31 21:56:31,339 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936379,936392] [2024-10-31 21:56:31,340 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936645,936658] [2024-10-31 21:56:31,341 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[936761,936774] [2024-10-31 21:56:31,342 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937016,937029] [2024-10-31 21:56:31,342 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937100,937113] [2024-10-31 21:56:31,343 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937160,937173] [2024-10-31 21:56:31,344 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937233,937246] [2024-10-31 21:56:31,344 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937297,937310] [2024-10-31 21:56:31,345 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937368,937381] [2024-10-31 21:56:31,346 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937435,937448] [2024-10-31 21:56:31,346 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937622,937635] [2024-10-31 21:56:31,347 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937688,937701] [2024-10-31 21:56:31,348 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937801,937814] [2024-10-31 21:56:31,349 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[937928,937941] [2024-10-31 21:56:31,349 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938041,938054] [2024-10-31 21:56:31,350 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938151,938164] [2024-10-31 21:56:31,351 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938235,938248] [2024-10-31 21:56:31,351 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938295,938308] [2024-10-31 21:56:31,352 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938368,938381] [2024-10-31 21:56:31,353 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938432,938445] [2024-10-31 21:56:31,353 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938503,938516] [2024-10-31 21:56:31,354 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938570,938583] [2024-10-31 21:56:31,355 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938636,938649] [2024-10-31 21:56:31,355 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938747,938760] [2024-10-31 21:56:31,356 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938896,938909] [2024-10-31 21:56:31,357 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[938982,938995] [2024-10-31 21:56:31,358 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[939187,939200] [2024-10-31 21:56:31,358 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[939312,939325] [2024-10-31 21:56:31,359 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[939382,939395] [2024-10-31 21:56:31,361 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[940580,940593] [2024-10-31 21:56:31,362 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941310,941323] [2024-10-31 21:56:31,363 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941406,941419] [2024-10-31 21:56:31,363 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941478,941491] [2024-10-31 21:56:31,364 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941552,941565] [2024-10-31 21:56:31,365 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941637,941650] [2024-10-31 21:56:31,366 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941713,941726] [2024-10-31 21:56:31,367 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941803,941816] [2024-10-31 21:56:31,368 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941886,941899] [2024-10-31 21:56:31,368 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[941965,941978] [2024-10-31 21:56:31,369 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942041,942054] [2024-10-31 21:56:31,370 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942120,942133] [2024-10-31 21:56:31,371 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942198,942211] [2024-10-31 21:56:31,372 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942278,942291] [2024-10-31 21:56:31,373 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942755,942768] [2024-10-31 21:56:31,373 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942841,942854] [2024-10-31 21:56:31,374 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942903,942916] [2024-10-31 21:56:31,375 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[942978,942991] [2024-10-31 21:56:31,376 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943044,943057] [2024-10-31 21:56:31,376 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943124,943137] [2024-10-31 21:56:31,377 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943197,943210] [2024-10-31 21:56:31,378 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943266,943279] [2024-10-31 21:56:31,378 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943335,943348] [2024-10-31 21:56:31,379 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943403,943416] [2024-10-31 21:56:31,379 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943513,943526] [2024-10-31 21:56:31,380 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943597,943610] [2024-10-31 21:56:31,381 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943657,943670] [2024-10-31 21:56:31,381 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943730,943743] [2024-10-31 21:56:31,382 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943794,943807] [2024-10-31 21:56:31,382 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943872,943885] [2024-10-31 21:56:31,383 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[943943,943956] [2024-10-31 21:56:31,384 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944010,944023] [2024-10-31 21:56:31,384 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944077,944090] [2024-10-31 21:56:31,385 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944143,944156] [2024-10-31 21:56:31,386 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944389,944402] [2024-10-31 21:56:31,387 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944629,944642] [2024-10-31 21:56:31,387 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944726,944739] [2024-10-31 21:56:31,388 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944854,944867] [2024-10-31 21:56:31,389 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[944940,944953] [2024-10-31 21:56:31,390 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[945636,945649] [2024-10-31 21:56:31,391 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[945726,945739] [2024-10-31 21:56:31,391 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[945792,945805] [2024-10-31 21:56:31,392 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[945871,945884] [2024-10-31 21:56:31,393 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[945955,945968] [2024-10-31 21:56:31,393 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946028,946041] [2024-10-31 21:56:31,394 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946097,946110] [2024-10-31 21:56:31,395 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946401,946414] [2024-10-31 21:56:31,396 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946485,946498] [2024-10-31 21:56:31,397 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946545,946558] [2024-10-31 21:56:31,397 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946618,946631] [2024-10-31 21:56:31,398 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946696,946709] [2024-10-31 21:56:31,399 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946763,946776] [2024-10-31 21:56:31,399 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[946826,946839] [2024-10-31 21:56:31,400 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947007,947020] [2024-10-31 21:56:31,401 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947177,947190] [2024-10-31 21:56:31,401 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947324,947337] [2024-10-31 21:56:31,402 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947408,947421] [2024-10-31 21:56:31,402 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947468,947481] [2024-10-31 21:56:31,403 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947541,947554] [2024-10-31 21:56:31,403 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947608,947621] [2024-10-31 21:56:31,404 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947671,947684] [2024-10-31 21:56:31,405 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[947785,947798] [2024-10-31 21:56:31,405 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948095,948108] [2024-10-31 21:56:31,406 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948227,948240] [2024-10-31 21:56:31,407 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948534,948547] [2024-10-31 21:56:31,408 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948622,948635] [2024-10-31 21:56:31,409 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948686,948699] [2024-10-31 21:56:31,410 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948763,948776] [2024-10-31 21:56:31,411 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948831,948844] [2024-10-31 21:56:31,411 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948906,948919] [2024-10-31 21:56:31,412 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[948977,948990] [2024-10-31 21:56:31,413 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949044,949057] [2024-10-31 21:56:31,413 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949259,949272] [2024-10-31 21:56:31,414 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949329,949342] [2024-10-31 21:56:31,415 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949454,949467] [2024-10-31 21:56:31,416 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949601,949614] [2024-10-31 21:56:31,417 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949726,949739] [2024-10-31 21:56:31,417 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949856,949869] [2024-10-31 21:56:31,418 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[949944,949957] [2024-10-31 21:56:31,419 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950008,950021] [2024-10-31 21:56:31,419 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950085,950098] [2024-10-31 21:56:31,420 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950153,950166] [2024-10-31 21:56:31,421 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950228,950241] [2024-10-31 21:56:31,421 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950299,950312] [2024-10-31 21:56:31,422 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950366,950379] [2024-10-31 21:56:31,423 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950436,950449] [2024-10-31 21:56:31,423 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950559,950572] [2024-10-31 21:56:31,424 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950728,950741] [2024-10-31 21:56:31,424 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[950818,950831] [2024-10-31 21:56:31,426 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[951055,951068] [2024-10-31 21:56:31,427 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[951192,951205] [2024-10-31 21:56:31,428 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[951266,951279] [2024-10-31 21:56:31,429 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[952623,952636] [2024-10-31 21:56:31,431 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953443,953456] [2024-10-31 21:56:31,432 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953543,953556] [2024-10-31 21:56:31,432 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953619,953632] [2024-10-31 21:56:31,433 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953697,953710] [2024-10-31 21:56:31,434 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953786,953799] [2024-10-31 21:56:31,435 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953866,953879] [2024-10-31 21:56:31,435 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[953960,953973] [2024-10-31 21:56:31,436 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954047,954060] [2024-10-31 21:56:31,437 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954130,954143] [2024-10-31 21:56:31,437 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954209,954222] [2024-10-31 21:56:31,438 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954289,954302] [2024-10-31 21:56:31,439 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954372,954385] [2024-10-31 21:56:31,439 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954454,954467] [2024-10-31 21:56:31,440 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e14561f2-1aab-4dc6-8a5d-b407eae004e6/sv-benchmarks/c/goblint-coreutils/instrumented_du_comb.i[954538,954551]