./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version b5237d83 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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/AutomizerReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a --witnessprinter.witness.filename witness.graphml --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 7d0dccb546eb4b6073440e35f84e65f26e1b336b28d43ba14294b887452d7de1 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-b5237d8 [2022-11-21 13:57:17,028 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-21 13:57:17,032 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-21 13:57:17,065 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-21 13:57:17,066 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-21 13:57:17,067 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-21 13:57:17,069 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-21 13:57:17,071 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-21 13:57:17,073 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-21 13:57:17,074 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-21 13:57:17,075 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-21 13:57:17,077 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-21 13:57:17,077 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-21 13:57:17,079 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-21 13:57:17,080 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-21 13:57:17,082 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-21 13:57:17,083 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-21 13:57:17,084 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-21 13:57:17,086 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-21 13:57:17,089 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-21 13:57:17,091 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-21 13:57:17,092 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-21 13:57:17,094 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-21 13:57:17,095 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-21 13:57:17,099 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-21 13:57:17,100 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-21 13:57:17,100 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-21 13:57:17,102 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-21 13:57:17,102 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-21 13:57:17,104 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-21 13:57:17,104 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-21 13:57:17,106 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-21 13:57:17,107 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-21 13:57:17,108 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-21 13:57:17,109 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-21 13:57:17,110 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-21 13:57:17,111 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-21 13:57:17,112 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-21 13:57:17,112 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-21 13:57:17,113 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-21 13:57:17,114 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-21 13:57:17,116 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/svcomp-Reach-64bit-Automizer_Default.epf [2022-11-21 13:57:17,145 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-21 13:57:17,146 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-21 13:57:17,146 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-21 13:57:17,146 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-21 13:57:17,147 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-21 13:57:17,148 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-21 13:57:17,149 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-21 13:57:17,149 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-21 13:57:17,149 INFO L138 SettingsManager]: * Use SBE=true [2022-11-21 13:57:17,150 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-21 13:57:17,150 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-21 13:57:17,150 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-21 13:57:17,151 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-21 13:57:17,151 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-21 13:57:17,152 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-21 13:57:17,152 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-21 13:57:17,152 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-21 13:57:17,152 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-21 13:57:17,153 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-21 13:57:17,153 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-21 13:57:17,153 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-21 13:57:17,153 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-21 13:57:17,154 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-21 13:57:17,154 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-21 13:57:17,154 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-21 13:57:17,155 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2022-11-21 13:57:17,155 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-21 13:57:17,155 INFO L138 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2022-11-21 13:57:17,156 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-11-21 13:57:17,156 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-21 13:57:17,156 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode 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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml 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 -> 7d0dccb546eb4b6073440e35f84e65f26e1b336b28d43ba14294b887452d7de1 [2022-11-21 13:57:17,519 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-21 13:57:17,547 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-21 13:57:17,550 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-21 13:57:17,551 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-21 13:57:17,552 INFO L275 PluginConnector]: CDTParser initialized [2022-11-21 13:57:17,554 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/../../sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i [2022-11-21 13:57:21,328 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-21 13:57:23,754 INFO L351 CDTParser]: Found 1 translation units. [2022-11-21 13:57:23,755 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i [2022-11-21 13:57:24,191 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/4c36bf5de/031e70ef7fa24f7a8ea096836a5278f0/FLAG7c3e47244 [2022-11-21 13:57:24,212 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/4c36bf5de/031e70ef7fa24f7a8ea096836a5278f0 [2022-11-21 13:57:24,218 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-21 13:57:24,222 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-21 13:57:24,225 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-21 13:57:24,225 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-21 13:57:24,229 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-21 13:57:24,230 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.11 01:57:24" (1/1) ... [2022-11-21 13:57:24,232 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@363b0676 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.11 01:57:24, skipping insertion in model container [2022-11-21 13:57:24,232 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.11 01:57:24" (1/1) ... [2022-11-21 13:57:24,241 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-21 13:57:25,002 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-21 13:58:00,644 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2022-11-21 13:58:00,646 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2022-11-21 13:58:00,649 WARN L611 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2022-11-21 13:58:00,650 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2022-11-21 13:58:00,663 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2022-11-21 13:58:00,664 WARN L611 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2022-11-21 13:58:00,666 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2022-11-21 13:58:00,674 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2022-11-21 13:58:00,676 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2022-11-21 13:58:00,677 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[465945,465958] [2022-11-21 13:58:00,682 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[466083,466096] [2022-11-21 13:58:00,684 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[466581,466594] [2022-11-21 13:58:00,688 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[467749,467762] [2022-11-21 13:58:00,689 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[468075,468088] [2022-11-21 13:58:00,691 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[468945,468958] [2022-11-21 13:58:00,693 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[469431,469444] [2022-11-21 13:58:00,698 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[472925,472938] [2022-11-21 13:58:00,699 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[473595,473608] [2022-11-21 13:58:00,715 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485525,485538] [2022-11-21 13:58:00,716 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485636,485649] [2022-11-21 13:58:00,717 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485755,485768] [2022-11-21 13:58:00,718 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485829,485842] [2022-11-21 13:58:00,719 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485922,485935] [2022-11-21 13:58:00,719 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486046,486059] [2022-11-21 13:58:00,720 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486130,486143] [2022-11-21 13:58:00,720 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486202,486215] [2022-11-21 13:58:00,721 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486258,486271] [2022-11-21 13:58:00,722 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486351,486364] [2022-11-21 13:58:00,722 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486463,486476] [2022-11-21 13:58:00,723 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486580,486593] [2022-11-21 13:58:00,724 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486648,486661] [2022-11-21 13:58:00,724 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486767,486780] [2022-11-21 13:58:00,725 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486839,486852] [2022-11-21 13:58:00,726 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486905,486918] [2022-11-21 13:58:00,726 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486961,486974] [2022-11-21 13:58:00,728 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487621,487634] [2022-11-21 13:58:00,729 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487891,487904] [2022-11-21 13:58:00,730 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487969,487982] [2022-11-21 13:58:00,731 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488041,488054] [2022-11-21 13:58:00,731 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488103,488116] [2022-11-21 13:58:00,732 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488159,488172] [2022-11-21 13:58:00,733 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488381,488394] [2022-11-21 13:58:00,734 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488455,488468] [2022-11-21 13:58:00,734 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488523,488536] [2022-11-21 13:58:00,735 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488581,488594] [2022-11-21 13:58:00,735 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488685,488698] [2022-11-21 13:58:00,736 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488883,488896] [2022-11-21 13:58:00,737 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488957,488970] [2022-11-21 13:58:00,738 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489025,489038] [2022-11-21 13:58:00,738 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489083,489096] [2022-11-21 13:58:00,739 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489272,489285] [2022-11-21 13:58:00,740 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489392,489405] [2022-11-21 13:58:00,741 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489553,489566] [2022-11-21 13:58:00,747 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[491753,491766] [2022-11-21 13:58:00,749 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[491934,491947] [2022-11-21 13:58:00,750 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492103,492116] [2022-11-21 13:58:00,750 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492246,492259] [2022-11-21 13:58:00,752 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492652,492665] [2022-11-21 13:58:00,753 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492831,492844] [2022-11-21 13:58:00,754 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492996,493009] [2022-11-21 13:58:00,755 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[493139,493152] [2022-11-21 13:58:00,757 WARN L611 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2022-11-21 13:58:00,768 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[503406,503419] [2022-11-21 13:58:00,769 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[503494,503507] [2022-11-21 13:58:00,773 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505549,505562] [2022-11-21 13:58:00,775 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505743,505756] [2022-11-21 13:58:00,777 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505996,506009] [2022-11-21 13:58:00,777 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506086,506099] [2022-11-21 13:58:00,779 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506373,506386] [2022-11-21 13:58:00,779 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506540,506553] [2022-11-21 13:58:00,781 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506996,507009] [2022-11-21 13:58:00,782 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507280,507293] [2022-11-21 13:58:00,783 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507602,507615] [2022-11-21 13:58:00,784 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507720,507733] [2022-11-21 13:58:00,785 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508051,508064] [2022-11-21 13:58:00,786 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508279,508292] [2022-11-21 13:58:00,787 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508337,508350] [2022-11-21 13:58:00,788 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508567,508580] [2022-11-21 13:58:00,789 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508799,508812] [2022-11-21 13:58:00,790 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509077,509090] [2022-11-21 13:58:00,791 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509335,509348] [2022-11-21 13:58:00,792 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509391,509404] [2022-11-21 13:58:00,793 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509583,509596] [2022-11-21 13:58:00,795 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509834,509847] [2022-11-21 13:58:00,796 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510053,510066] [2022-11-21 13:58:00,797 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510262,510275] [2022-11-21 13:58:00,798 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510317,510330] [2022-11-21 13:58:00,799 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510513,510526] [2022-11-21 13:58:00,800 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510768,510781] [2022-11-21 13:58:00,801 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510900,510913] [2022-11-21 13:58:00,802 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511127,511140] [2022-11-21 13:58:00,803 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511344,511357] [2022-11-21 13:58:00,804 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511401,511414] [2022-11-21 13:58:00,804 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511462,511475] [2022-11-21 13:58:00,805 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511660,511673] [2022-11-21 13:58:00,807 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511917,511930] [2022-11-21 13:58:00,807 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512065,512078] [2022-11-21 13:58:00,809 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512278,512291] [2022-11-21 13:58:00,810 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512476,512489] [2022-11-21 13:58:00,811 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512733,512746] [2022-11-21 13:58:00,812 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512915,512928] [2022-11-21 13:58:00,813 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513107,513120] [2022-11-21 13:58:00,815 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513358,513371] [2022-11-21 13:58:00,816 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513830,513843] [2022-11-21 13:58:00,817 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513882,513895] [2022-11-21 13:58:00,818 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514074,514087] [2022-11-21 13:58:00,819 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514325,514338] [2022-11-21 13:58:00,820 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514427,514440] [2022-11-21 13:58:00,820 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514479,514492] [2022-11-21 13:58:00,821 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514671,514684] [2022-11-21 13:58:00,822 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514922,514935] [2022-11-21 13:58:00,823 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514995,515008] [2022-11-21 13:58:00,824 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515047,515060] [2022-11-21 13:58:00,825 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515239,515252] [2022-11-21 13:58:00,826 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515490,515503] [2022-11-21 13:58:00,834 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[518967,518980] [2022-11-21 13:58:00,835 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519070,519083] [2022-11-21 13:58:00,836 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519142,519155] [2022-11-21 13:58:00,836 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519232,519245] [2022-11-21 13:58:00,837 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519285,519298] [2022-11-21 13:58:00,838 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519363,519376] [2022-11-21 13:58:00,838 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519439,519452] [2022-11-21 13:58:00,840 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519984,519997] [2022-11-21 13:58:00,841 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520077,520090] [2022-11-21 13:58:00,841 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520267,520280] [2022-11-21 13:58:00,842 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520332,520345] [2022-11-21 13:58:00,842 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520391,520404] [2022-11-21 13:58:00,843 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520545,520558] [2022-11-21 13:58:00,844 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520610,520623] [2022-11-21 13:58:00,845 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520669,520682] [2022-11-21 13:58:00,846 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520914,520927] [2022-11-21 13:58:00,846 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521088,521101] [2022-11-21 13:58:00,847 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521157,521170] [2022-11-21 13:58:00,848 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521220,521233] [2022-11-21 13:58:00,849 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521675,521688] [2022-11-21 13:58:00,849 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521752,521765] [2022-11-21 13:58:00,850 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521848,521861] [2022-11-21 13:58:00,851 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522082,522095] [2022-11-21 13:58:00,852 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522249,522262] [2022-11-21 13:58:00,854 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522981,522994] [2022-11-21 13:58:00,854 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523095,523108] [2022-11-21 13:58:00,855 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523446,523459] [2022-11-21 13:58:00,856 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523516,523529] [2022-11-21 13:58:00,857 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523672,523685] [2022-11-21 13:58:00,857 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523742,523755] [2022-11-21 13:58:00,858 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523973,523986] [2022-11-21 13:58:00,859 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524043,524056] [2022-11-21 13:58:00,860 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524214,524227] [2022-11-21 13:58:00,860 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524284,524297] [2022-11-21 13:58:00,861 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524364,524377] [2022-11-21 13:58:00,866 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526636,526649] [2022-11-21 13:58:00,866 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526795,526808] [2022-11-21 13:58:00,867 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526953,526966] [2022-11-21 13:58:00,868 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527094,527107] [2022-11-21 13:58:00,869 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527447,527460] [2022-11-21 13:58:00,870 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527808,527821] [2022-11-21 13:58:00,872 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[528299,528312] [2022-11-21 13:58:00,873 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[528786,528799] [2022-11-21 13:58:00,874 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529104,529117] [2022-11-21 13:58:00,875 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529185,529198] [2022-11-21 13:58:00,875 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529259,529272] [2022-11-21 13:58:00,876 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529544,529557] [2022-11-21 13:58:00,877 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529618,529631] [2022-11-21 13:58:00,877 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529751,529764] [2022-11-21 13:58:00,879 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530373,530386] [2022-11-21 13:58:00,879 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530458,530471] [2022-11-21 13:58:00,880 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530699,530712] [2022-11-21 13:58:00,881 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530797,530810] [2022-11-21 13:58:00,881 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530918,530931] [2022-11-21 13:58:00,882 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[531174,531187] [2022-11-21 13:58:00,885 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[532195,532208] [2022-11-21 13:58:00,917 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552052,552065] [2022-11-21 13:58:00,918 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552142,552155] [2022-11-21 13:58:00,919 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552285,552298] [2022-11-21 13:58:00,920 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552577,552590] [2022-11-21 13:58:00,921 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552675,552688] [2022-11-21 13:58:00,921 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552830,552843] [2022-11-21 13:58:01,095 WARN L611 FunctionHandler]: implicit declaration of function __builtin_strspn [2022-11-21 13:58:01,133 ERROR L326 MainTranslator]: Unsupported Syntax: encountered a call to a var args function, var args are not supported at the moment: rpl_fcntl [2022-11-21 13:58:01,134 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@2c4db95e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.11 01:58:01, skipping insertion in model container [2022-11-21 13:58:01,135 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-21 13:58:01,135 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-21 13:58:01,138 INFO L158 Benchmark]: Toolchain (without parser) took 36914.25ms. Allocated memory was 151.0MB in the beginning and 312.5MB in the end (delta: 161.5MB). Free memory was 62.9MB in the beginning and 67.7MB in the end (delta: -4.8MB). Peak memory consumption was 178.3MB. Max. memory is 16.1GB. [2022-11-21 13:58:01,142 INFO L158 Benchmark]: CDTParser took 0.32ms. Allocated memory is still 113.2MB. Free memory was 81.1MB in the beginning and 81.1MB in the end (delta: 27.7kB). There was no memory consumed. Max. memory is 16.1GB. [2022-11-21 13:58:01,145 INFO L158 Benchmark]: CACSL2BoogieTranslator took 36910.44ms. Allocated memory was 151.0MB in the beginning and 312.5MB in the end (delta: 161.5MB). Free memory was 62.6MB in the beginning and 67.7MB in the end (delta: -5.1MB). Peak memory consumption was 178.3MB. Max. memory is 16.1GB. [2022-11-21 13:58:01,148 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.32ms. Allocated memory is still 113.2MB. Free memory was 81.1MB in the beginning and 81.1MB in the end (delta: 27.7kB). There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 36910.44ms. Allocated memory was 151.0MB in the beginning and 312.5MB in the end (delta: 161.5MB). Free memory was 62.6MB in the beginning and 67.7MB in the end (delta: -5.1MB). Peak memory consumption was 178.3MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 12463]: Unsupported Syntax encountered a call to a var args function, var args are not supported at the moment: rpl_fcntl RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### 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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/AutomizerReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/svcomp-Reach-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a --witnessprinter.witness.filename witness.graphml --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 7d0dccb546eb4b6073440e35f84e65f26e1b336b28d43ba14294b887452d7de1 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-b5237d8 [2022-11-21 13:58:03,824 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-21 13:58:03,826 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-21 13:58:03,852 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-21 13:58:03,852 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-21 13:58:03,853 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-21 13:58:03,855 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-21 13:58:03,858 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-21 13:58:03,860 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-21 13:58:03,861 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-21 13:58:03,863 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-21 13:58:03,864 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-21 13:58:03,865 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-21 13:58:03,866 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-21 13:58:03,868 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-21 13:58:03,869 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-21 13:58:03,871 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-21 13:58:03,872 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-21 13:58:03,874 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-21 13:58:03,877 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-21 13:58:03,879 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-21 13:58:03,880 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-21 13:58:03,882 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-21 13:58:03,883 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-21 13:58:03,888 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-21 13:58:03,888 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-21 13:58:03,889 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-21 13:58:03,890 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-21 13:58:03,891 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-21 13:58:03,892 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-21 13:58:03,892 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-21 13:58:03,893 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-21 13:58:03,895 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-21 13:58:03,917 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-21 13:58:03,919 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-21 13:58:03,920 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-21 13:58:03,921 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-21 13:58:03,921 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-21 13:58:03,921 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-21 13:58:03,923 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-21 13:58:03,924 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-21 13:58:03,925 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/config/svcomp-Reach-64bit-Automizer_Bitvector.epf [2022-11-21 13:58:03,955 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-21 13:58:03,955 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-21 13:58:03,956 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-21 13:58:03,956 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-21 13:58:03,957 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-21 13:58:03,958 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-21 13:58:03,958 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-21 13:58:03,959 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-21 13:58:03,959 INFO L138 SettingsManager]: * Use SBE=true [2022-11-21 13:58:03,960 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-21 13:58:03,960 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-21 13:58:03,960 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-21 13:58:03,961 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-21 13:58:03,961 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-21 13:58:03,961 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-21 13:58:03,962 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-11-21 13:58:03,962 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-11-21 13:58:03,962 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-21 13:58:03,962 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-21 13:58:03,963 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-21 13:58:03,963 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-21 13:58:03,964 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-21 13:58:03,964 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-21 13:58:03,964 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-21 13:58:03,965 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-21 13:58:03,965 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-21 13:58:03,965 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-21 13:58:03,966 INFO L138 SettingsManager]: * Trace refinement strategy=WOLF [2022-11-21 13:58:03,966 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-11-21 13:58:03,966 INFO L138 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2022-11-21 13:58:03,967 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-11-21 13:58:03,967 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-21 13:58:03,967 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-21 13:58:03,968 INFO L138 SettingsManager]: * Logic for external solver=AUFBV 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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/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_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml 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 -> 7d0dccb546eb4b6073440e35f84e65f26e1b336b28d43ba14294b887452d7de1 [2022-11-21 13:58:04,393 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-21 13:58:04,430 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-21 13:58:04,433 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-21 13:58:04,435 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-21 13:58:04,437 INFO L275 PluginConnector]: CDTParser initialized [2022-11-21 13:58:04,445 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/../../sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i [2022-11-21 13:58:08,124 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-21 13:58:10,872 INFO L351 CDTParser]: Found 1 translation units. [2022-11-21 13:58:10,873 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i [2022-11-21 13:58:11,276 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/4749177ba/0d8364456fd44455be95c59483bd51e2/FLAGb30b7c91b [2022-11-21 13:58:11,306 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/bin/uautomizer-vX5HgA9Q3a/data/4749177ba/0d8364456fd44455be95c59483bd51e2 [2022-11-21 13:58:11,309 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-21 13:58:11,319 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-21 13:58:11,321 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-21 13:58:11,321 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-21 13:58:11,325 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-21 13:58:11,328 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.11 01:58:11" (1/1) ... [2022-11-21 13:58:11,329 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@505e7bf8 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.11 01:58:11, skipping insertion in model container [2022-11-21 13:58:11,330 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.11 01:58:11" (1/1) ... [2022-11-21 13:58:11,338 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-21 13:58:12,122 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-21 13:58:47,222 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2022-11-21 13:58:47,225 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2022-11-21 13:58:47,227 WARN L611 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2022-11-21 13:58:47,230 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2022-11-21 13:58:47,234 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2022-11-21 13:58:47,237 WARN L611 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2022-11-21 13:58:47,238 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2022-11-21 13:58:47,241 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2022-11-21 13:58:47,242 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2022-11-21 13:58:47,244 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[465945,465958] [2022-11-21 13:58:47,249 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[466083,466096] [2022-11-21 13:58:47,259 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[466581,466594] [2022-11-21 13:58:47,268 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[467749,467762] [2022-11-21 13:58:47,270 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[468075,468088] [2022-11-21 13:58:47,271 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[468945,468958] [2022-11-21 13:58:47,273 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[469431,469444] [2022-11-21 13:58:47,288 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[472925,472938] [2022-11-21 13:58:47,290 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[473595,473608] [2022-11-21 13:58:47,327 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485525,485538] [2022-11-21 13:58:47,328 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485636,485649] [2022-11-21 13:58:47,329 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485755,485768] [2022-11-21 13:58:47,330 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485829,485842] [2022-11-21 13:58:47,333 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[485922,485935] [2022-11-21 13:58:47,335 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486046,486059] [2022-11-21 13:58:47,335 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486130,486143] [2022-11-21 13:58:47,336 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486202,486215] [2022-11-21 13:58:47,336 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486258,486271] [2022-11-21 13:58:47,337 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486351,486364] [2022-11-21 13:58:47,339 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486463,486476] [2022-11-21 13:58:47,339 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486580,486593] [2022-11-21 13:58:47,340 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486648,486661] [2022-11-21 13:58:47,341 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486767,486780] [2022-11-21 13:58:47,342 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486839,486852] [2022-11-21 13:58:47,343 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486905,486918] [2022-11-21 13:58:47,343 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[486961,486974] [2022-11-21 13:58:47,346 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487621,487634] [2022-11-21 13:58:47,347 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487891,487904] [2022-11-21 13:58:47,348 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[487969,487982] [2022-11-21 13:58:47,349 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488041,488054] [2022-11-21 13:58:47,350 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488103,488116] [2022-11-21 13:58:47,351 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488159,488172] [2022-11-21 13:58:47,352 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488381,488394] [2022-11-21 13:58:47,353 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488455,488468] [2022-11-21 13:58:47,353 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488523,488536] [2022-11-21 13:58:47,354 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488581,488594] [2022-11-21 13:58:47,356 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488685,488698] [2022-11-21 13:58:47,357 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488883,488896] [2022-11-21 13:58:47,358 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[488957,488970] [2022-11-21 13:58:47,358 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489025,489038] [2022-11-21 13:58:47,359 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489083,489096] [2022-11-21 13:58:47,360 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489272,489285] [2022-11-21 13:58:47,364 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489392,489405] [2022-11-21 13:58:47,365 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[489553,489566] [2022-11-21 13:58:47,375 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[491753,491766] [2022-11-21 13:58:47,376 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[491934,491947] [2022-11-21 13:58:47,378 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492103,492116] [2022-11-21 13:58:47,380 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492246,492259] [2022-11-21 13:58:47,381 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492652,492665] [2022-11-21 13:58:47,382 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492831,492844] [2022-11-21 13:58:47,383 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[492996,493009] [2022-11-21 13:58:47,390 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[493139,493152] [2022-11-21 13:58:47,398 WARN L611 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2022-11-21 13:58:47,418 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[503406,503419] [2022-11-21 13:58:47,420 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[503494,503507] [2022-11-21 13:58:47,424 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505549,505562] [2022-11-21 13:58:47,426 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505743,505756] [2022-11-21 13:58:47,429 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[505996,506009] [2022-11-21 13:58:47,429 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506086,506099] [2022-11-21 13:58:47,431 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506373,506386] [2022-11-21 13:58:47,431 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506540,506553] [2022-11-21 13:58:47,433 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[506996,507009] [2022-11-21 13:58:47,435 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507280,507293] [2022-11-21 13:58:47,436 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507602,507615] [2022-11-21 13:58:47,436 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[507720,507733] [2022-11-21 13:58:47,438 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508051,508064] [2022-11-21 13:58:47,439 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508279,508292] [2022-11-21 13:58:47,439 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508337,508350] [2022-11-21 13:58:47,440 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508567,508580] [2022-11-21 13:58:47,441 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[508799,508812] [2022-11-21 13:58:47,442 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509077,509090] [2022-11-21 13:58:47,444 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509335,509348] [2022-11-21 13:58:47,444 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509391,509404] [2022-11-21 13:58:47,446 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509583,509596] [2022-11-21 13:58:47,447 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[509834,509847] [2022-11-21 13:58:47,448 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510053,510066] [2022-11-21 13:58:47,449 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510262,510275] [2022-11-21 13:58:47,449 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510317,510330] [2022-11-21 13:58:47,451 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510513,510526] [2022-11-21 13:58:47,452 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510768,510781] [2022-11-21 13:58:47,453 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[510900,510913] [2022-11-21 13:58:47,454 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511127,511140] [2022-11-21 13:58:47,455 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511344,511357] [2022-11-21 13:58:47,456 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511401,511414] [2022-11-21 13:58:47,456 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511462,511475] [2022-11-21 13:58:47,458 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511660,511673] [2022-11-21 13:58:47,459 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[511917,511930] [2022-11-21 13:58:47,460 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512065,512078] [2022-11-21 13:58:47,504 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512278,512291] [2022-11-21 13:58:47,506 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512476,512489] [2022-11-21 13:58:47,507 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512733,512746] [2022-11-21 13:58:47,508 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[512915,512928] [2022-11-21 13:58:47,509 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513107,513120] [2022-11-21 13:58:47,510 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513358,513371] [2022-11-21 13:58:47,515 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513830,513843] [2022-11-21 13:58:47,517 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[513882,513895] [2022-11-21 13:58:47,520 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514074,514087] [2022-11-21 13:58:47,521 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514325,514338] [2022-11-21 13:58:47,522 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514427,514440] [2022-11-21 13:58:47,522 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514479,514492] [2022-11-21 13:58:47,525 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514671,514684] [2022-11-21 13:58:47,526 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514922,514935] [2022-11-21 13:58:47,527 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[514995,515008] [2022-11-21 13:58:47,527 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515047,515060] [2022-11-21 13:58:47,529 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515239,515252] [2022-11-21 13:58:47,531 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[515490,515503] [2022-11-21 13:58:47,550 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[518967,518980] [2022-11-21 13:58:47,551 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519070,519083] [2022-11-21 13:58:47,552 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519142,519155] [2022-11-21 13:58:47,552 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519232,519245] [2022-11-21 13:58:47,553 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519285,519298] [2022-11-21 13:58:47,554 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519363,519376] [2022-11-21 13:58:47,555 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519439,519452] [2022-11-21 13:58:47,557 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[519984,519997] [2022-11-21 13:58:47,564 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520077,520090] [2022-11-21 13:58:47,565 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520267,520280] [2022-11-21 13:58:47,566 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520332,520345] [2022-11-21 13:58:47,567 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520391,520404] [2022-11-21 13:58:47,568 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520545,520558] [2022-11-21 13:58:47,569 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520610,520623] [2022-11-21 13:58:47,570 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520669,520682] [2022-11-21 13:58:47,572 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[520914,520927] [2022-11-21 13:58:47,573 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521088,521101] [2022-11-21 13:58:47,577 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521157,521170] [2022-11-21 13:58:47,578 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521220,521233] [2022-11-21 13:58:47,583 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521675,521688] [2022-11-21 13:58:47,584 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521752,521765] [2022-11-21 13:58:47,584 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[521848,521861] [2022-11-21 13:58:47,585 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522082,522095] [2022-11-21 13:58:47,586 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522249,522262] [2022-11-21 13:58:47,587 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[522981,522994] [2022-11-21 13:58:47,588 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523095,523108] [2022-11-21 13:58:47,589 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523446,523459] [2022-11-21 13:58:47,590 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523516,523529] [2022-11-21 13:58:47,590 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523672,523685] [2022-11-21 13:58:47,591 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523742,523755] [2022-11-21 13:58:47,591 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[523973,523986] [2022-11-21 13:58:47,592 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524043,524056] [2022-11-21 13:58:47,593 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524214,524227] [2022-11-21 13:58:47,593 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524284,524297] [2022-11-21 13:58:47,594 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[524364,524377] [2022-11-21 13:58:47,600 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526636,526649] [2022-11-21 13:58:47,604 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526795,526808] [2022-11-21 13:58:47,605 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[526953,526966] [2022-11-21 13:58:47,606 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527094,527107] [2022-11-21 13:58:47,609 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527447,527460] [2022-11-21 13:58:47,612 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[527808,527821] [2022-11-21 13:58:47,614 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[528299,528312] [2022-11-21 13:58:47,616 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[528786,528799] [2022-11-21 13:58:47,617 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529104,529117] [2022-11-21 13:58:47,618 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529185,529198] [2022-11-21 13:58:47,626 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529259,529272] [2022-11-21 13:58:47,627 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529544,529557] [2022-11-21 13:58:47,627 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529618,529631] [2022-11-21 13:58:47,628 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[529751,529764] [2022-11-21 13:58:47,629 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530373,530386] [2022-11-21 13:58:47,630 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530458,530471] [2022-11-21 13:58:47,631 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530699,530712] [2022-11-21 13:58:47,632 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530797,530810] [2022-11-21 13:58:47,632 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[530918,530931] [2022-11-21 13:58:47,633 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[531174,531187] [2022-11-21 13:58:47,638 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[532195,532208] [2022-11-21 13:58:47,685 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552052,552065] [2022-11-21 13:58:47,685 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552142,552155] [2022-11-21 13:58:47,686 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552285,552298] [2022-11-21 13:58:47,687 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552577,552590] [2022-11-21 13:58:47,687 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552675,552688] [2022-11-21 13:58:47,688 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_a8012c8e-271a-4374-9482-8837450cf992/sv-benchmarks/c/goblint-coreutils/instrumented_cp_comb.i[552830,552843] [2022-11-21 13:58:47,732 WARN L611 FunctionHandler]: implicit declaration of function __builtin_strspn [2022-11-21 13:58:47,748 ERROR L326 MainTranslator]: Unsupported Syntax: encountered a call to a var args function, var args are not supported at the moment: rpl_fcntl [2022-11-21 13:58:47,748 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@d6ed88e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.11 01:58:47, skipping insertion in model container [2022-11-21 13:58:47,748 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-21 13:58:47,749 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-21 13:58:47,751 INFO L158 Benchmark]: Toolchain (without parser) took 36430.77ms. Allocated memory was 155.2MB in the beginning and 255.9MB in the end (delta: 100.7MB). Free memory was 78.5MB in the beginning and 151.6MB in the end (delta: -73.1MB). Peak memory consumption was 148.9MB. Max. memory is 16.1GB. [2022-11-21 13:58:47,756 INFO L158 Benchmark]: CDTParser took 0.40ms. Allocated memory is still 73.4MB. Free memory is still 52.0MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-21 13:58:47,758 INFO L158 Benchmark]: CACSL2BoogieTranslator took 36427.86ms. Allocated memory was 155.2MB in the beginning and 255.9MB in the end (delta: 100.7MB). Free memory was 78.1MB in the beginning and 151.6MB in the end (delta: -73.5MB). Peak memory consumption was 148.9MB. Max. memory is 16.1GB. [2022-11-21 13:58:47,759 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.40ms. Allocated memory is still 73.4MB. Free memory is still 52.0MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 36427.86ms. Allocated memory was 155.2MB in the beginning and 255.9MB in the end (delta: 100.7MB). Free memory was 78.1MB in the beginning and 151.6MB in the end (delta: -73.5MB). Peak memory consumption was 148.9MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 12463]: Unsupported Syntax encountered a call to a var args function, var args are not supported at the moment: rpl_fcntl RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Writing output log to file Ultimate.log Result: UNKNOWN