./Ultimate.py --spec ../../sv-benchmarks/c/properties/valid-memsafety.prp --file ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for memory safety (deref-memtrack) Using default analysis Version 8393723b 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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 935f88b4e8d3c594a969e02830dc0e71e1824c543ec1edef55d689968d17ba50 --- 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-8393723 [2022-11-18 20:33:56,501 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-18 20:33:56,505 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-18 20:33:56,568 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-18 20:33:56,569 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-18 20:33:56,571 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-18 20:33:56,573 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-18 20:33:56,576 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-18 20:33:56,578 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-18 20:33:56,580 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-18 20:33:56,582 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-18 20:33:56,584 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-18 20:33:56,585 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-18 20:33:56,586 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-18 20:33:56,588 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-18 20:33:56,590 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-18 20:33:56,591 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-18 20:33:56,593 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-18 20:33:56,596 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-18 20:33:56,599 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-18 20:33:56,601 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-18 20:33:56,603 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-18 20:33:56,605 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-18 20:33:56,607 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-18 20:33:56,612 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-18 20:33:56,613 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-18 20:33:56,614 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-18 20:33:56,615 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-18 20:33:56,616 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-18 20:33:56,618 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-18 20:33:56,618 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-18 20:33:56,619 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-18 20:33:56,621 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-18 20:33:56,622 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-18 20:33:56,624 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-18 20:33:56,624 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-18 20:33:56,626 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-18 20:33:56,626 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-18 20:33:56,627 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-18 20:33:56,628 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-18 20:33:56,629 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-18 20:33:56,631 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf [2022-11-18 20:33:56,662 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-18 20:33:56,663 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-18 20:33:56,664 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-18 20:33:56,664 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-18 20:33:56,665 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-18 20:33:56,665 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-18 20:33:56,667 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-18 20:33:56,667 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-18 20:33:56,667 INFO L138 SettingsManager]: * Use SBE=true [2022-11-18 20:33:56,668 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-18 20:33:56,668 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-18 20:33:56,668 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-18 20:33:56,669 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-18 20:33:56,669 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-18 20:33:56,669 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-18 20:33:56,670 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-18 20:33:56,670 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-18 20:33:56,670 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-18 20:33:56,671 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-18 20:33:56,671 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-18 20:33:56,671 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-18 20:33:56,672 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-18 20:33:56,672 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-18 20:33:56,672 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-18 20:33:56,673 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-18 20:33:56,673 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2022-11-18 20:33:56,673 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-18 20:33:56,674 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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro 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 valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) 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 -> 935f88b4e8d3c594a969e02830dc0e71e1824c543ec1edef55d689968d17ba50 [2022-11-18 20:33:57,090 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-18 20:33:57,137 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-18 20:33:57,141 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-18 20:33:57,142 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-18 20:33:57,145 INFO L275 PluginConnector]: CDTParser initialized [2022-11-18 20:33:57,148 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i [2022-11-18 20:33:57,270 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/683247b25/4e4421d8ba0e4cbd8af6d10961dbf37a/FLAG23528d8a2 [2022-11-18 20:34:00,993 INFO L306 CDTParser]: Found 1 translation units. [2022-11-18 20:34:00,993 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i [2022-11-18 20:34:01,453 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/683247b25/4e4421d8ba0e4cbd8af6d10961dbf37a/FLAG23528d8a2 [2022-11-18 20:34:01,877 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/683247b25/4e4421d8ba0e4cbd8af6d10961dbf37a [2022-11-18 20:34:01,880 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-18 20:34:01,885 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-18 20:34:01,891 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-18 20:34:01,891 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-18 20:34:01,898 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-18 20:34:01,899 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.11 08:34:01" (1/1) ... [2022-11-18 20:34:01,901 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@37d8ea27 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.11 08:34:01, skipping insertion in model container [2022-11-18 20:34:01,901 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.11 08:34:01" (1/1) ... [2022-11-18 20:34:01,911 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-18 20:34:02,738 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-18 20:34:43,968 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2022-11-18 20:34:43,969 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2022-11-18 20:34:43,970 WARN L611 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2022-11-18 20:34:43,971 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2022-11-18 20:34:43,973 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2022-11-18 20:34:43,974 WARN L611 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2022-11-18 20:34:43,975 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2022-11-18 20:34:43,977 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2022-11-18 20:34:43,978 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2022-11-18 20:34:43,979 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[465954,465967] [2022-11-18 20:34:43,983 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466009,466022] [2022-11-18 20:34:43,985 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466147,466160] [2022-11-18 20:34:43,989 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466645,466658] [2022-11-18 20:34:43,995 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466946,466959] [2022-11-18 20:34:43,996 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467019,467032] [2022-11-18 20:34:43,998 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467937,467950] [2022-11-18 20:34:43,998 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467995,468008] [2022-11-18 20:34:43,999 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468047,468060] [2022-11-18 20:34:44,000 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468381,468394] [2022-11-18 20:34:44,000 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468439,468452] [2022-11-18 20:34:44,001 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468491,468504] [2022-11-18 20:34:44,002 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469361,469374] [2022-11-18 20:34:44,004 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469823,469836] [2022-11-18 20:34:44,004 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469899,469912] [2022-11-18 20:34:44,008 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[473393,473406] [2022-11-18 20:34:44,010 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[474042,474055] [2022-11-18 20:34:44,010 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[474118,474131] [2022-11-18 20:34:44,023 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486048,486061] [2022-11-18 20:34:44,024 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486159,486172] [2022-11-18 20:34:44,025 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486278,486291] [2022-11-18 20:34:44,025 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486352,486365] [2022-11-18 20:34:44,026 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486445,486458] [2022-11-18 20:34:44,027 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486569,486582] [2022-11-18 20:34:44,027 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486653,486666] [2022-11-18 20:34:44,028 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486725,486738] [2022-11-18 20:34:44,028 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486781,486794] [2022-11-18 20:34:44,029 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486874,486887] [2022-11-18 20:34:44,029 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486977,486990] [2022-11-18 20:34:44,030 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487045,487058] [2022-11-18 20:34:44,031 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487136,487149] [2022-11-18 20:34:44,031 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487198,487211] [2022-11-18 20:34:44,032 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487286,487299] [2022-11-18 20:34:44,032 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487342,487355] [2022-11-18 20:34:44,033 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487410,487423] [2022-11-18 20:34:44,033 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487504,487517] [2022-11-18 20:34:44,034 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487566,487579] [2022-11-18 20:34:44,034 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487643,487656] [2022-11-18 20:34:44,035 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487703,487716] [2022-11-18 20:34:44,035 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487767,487780] [2022-11-18 20:34:44,036 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487839,487852] [2022-11-18 20:34:44,036 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487905,487918] [2022-11-18 20:34:44,037 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487961,487974] [2022-11-18 20:34:44,037 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488045,488058] [2022-11-18 20:34:44,038 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488121,488134] [2022-11-18 20:34:44,040 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488756,488769] [2022-11-18 20:34:44,040 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488810,488823] [2022-11-18 20:34:44,042 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489074,489087] [2022-11-18 20:34:44,042 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489137,489150] [2022-11-18 20:34:44,043 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489219,489232] [2022-11-18 20:34:44,043 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489285,489298] [2022-11-18 20:34:44,044 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489342,489355] [2022-11-18 20:34:44,044 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489412,489425] [2022-11-18 20:34:44,045 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489490,489503] [2022-11-18 20:34:44,046 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489562,489575] [2022-11-18 20:34:44,046 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489624,489637] [2022-11-18 20:34:44,047 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489680,489693] [2022-11-18 20:34:44,048 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489896,489909] [2022-11-18 20:34:44,048 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489955,489968] [2022-11-18 20:34:44,049 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490033,490046] [2022-11-18 20:34:44,049 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490095,490108] [2022-11-18 20:34:44,050 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490161,490174] [2022-11-18 20:34:44,050 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490235,490248] [2022-11-18 20:34:44,051 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490303,490316] [2022-11-18 20:34:44,051 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490361,490374] [2022-11-18 20:34:44,052 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490486,490499] [2022-11-18 20:34:44,052 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490548,490561] [2022-11-18 20:34:44,053 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490628,490641] [2022-11-18 20:34:44,053 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490690,490703] [2022-11-18 20:34:44,059 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490882,490895] [2022-11-18 20:34:44,060 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490941,490954] [2022-11-18 20:34:44,061 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491004,491017] [2022-11-18 20:34:44,061 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491082,491095] [2022-11-18 20:34:44,063 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491144,491157] [2022-11-18 20:34:44,063 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491210,491223] [2022-11-18 20:34:44,065 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491284,491297] [2022-11-18 20:34:44,066 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491352,491365] [2022-11-18 20:34:44,066 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491410,491423] [2022-11-18 20:34:44,067 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491473,491486] [2022-11-18 20:34:44,068 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491594,491607] [2022-11-18 20:34:44,068 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491674,491687] [2022-11-18 20:34:44,069 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491822,491835] [2022-11-18 20:34:44,069 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491902,491915] [2022-11-18 20:34:44,070 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491964,491977] [2022-11-18 20:34:44,072 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492102,492115] [2022-11-18 20:34:44,076 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492184,492197] [2022-11-18 20:34:44,078 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492248,492261] [2022-11-18 20:34:44,079 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492427,492440] [2022-11-18 20:34:44,084 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494598,494611] [2022-11-18 20:34:44,086 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494654,494667] [2022-11-18 20:34:44,087 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494739,494752] [2022-11-18 20:34:44,088 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494797,494810] [2022-11-18 20:34:44,088 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494855,494868] [2022-11-18 20:34:44,090 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495036,495049] [2022-11-18 20:34:44,092 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495205,495218] [2022-11-18 20:34:44,095 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495352,495365] [2022-11-18 20:34:44,095 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495408,495421] [2022-11-18 20:34:44,096 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495460,495473] [2022-11-18 20:34:44,097 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495837,495850] [2022-11-18 20:34:44,098 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495893,495906] [2022-11-18 20:34:44,099 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495978,495991] [2022-11-18 20:34:44,100 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496036,496049] [2022-11-18 20:34:44,100 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496094,496107] [2022-11-18 20:34:44,101 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496273,496286] [2022-11-18 20:34:44,102 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496438,496451] [2022-11-18 20:34:44,103 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496585,496598] [2022-11-18 20:34:44,104 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496641,496654] [2022-11-18 20:34:44,105 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496693,496706] [2022-11-18 20:34:44,107 WARN L611 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2022-11-18 20:34:44,141 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[506960,506973] [2022-11-18 20:34:44,142 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[507048,507061] [2022-11-18 20:34:44,146 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509103,509116] [2022-11-18 20:34:44,148 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509297,509310] [2022-11-18 20:34:44,150 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509550,509563] [2022-11-18 20:34:44,151 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509640,509653] [2022-11-18 20:34:44,152 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509927,509940] [2022-11-18 20:34:44,153 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510094,510107] [2022-11-18 20:34:44,156 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510550,510563] [2022-11-18 20:34:44,158 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510834,510847] [2022-11-18 20:34:44,160 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511156,511169] [2022-11-18 20:34:44,160 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511274,511287] [2022-11-18 20:34:44,162 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511605,511618] [2022-11-18 20:34:44,163 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511833,511846] [2022-11-18 20:34:44,164 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511892,511905] [2022-11-18 20:34:44,165 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511950,511963] [2022-11-18 20:34:44,167 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512181,512194] [2022-11-18 20:34:44,172 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512237,512250] [2022-11-18 20:34:44,173 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512470,512483] [2022-11-18 20:34:44,174 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512526,512539] [2022-11-18 20:34:44,176 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512804,512817] [2022-11-18 20:34:44,183 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513062,513075] [2022-11-18 20:34:44,183 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513118,513131] [2022-11-18 20:34:44,186 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513310,513323] [2022-11-18 20:34:44,188 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513561,513574] [2022-11-18 20:34:44,189 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513780,513793] [2022-11-18 20:34:44,191 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513989,514002] [2022-11-18 20:34:44,191 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514044,514057] [2022-11-18 20:34:44,192 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514240,514253] [2022-11-18 20:34:44,194 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514495,514508] [2022-11-18 20:34:44,195 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514627,514640] [2022-11-18 20:34:44,196 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514854,514867] [2022-11-18 20:34:44,198 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515071,515084] [2022-11-18 20:34:44,198 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515128,515141] [2022-11-18 20:34:44,199 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515189,515202] [2022-11-18 20:34:44,200 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515387,515400] [2022-11-18 20:34:44,201 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515644,515657] [2022-11-18 20:34:44,203 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515792,515805] [2022-11-18 20:34:44,207 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516005,516018] [2022-11-18 20:34:44,211 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516203,516216] [2022-11-18 20:34:44,213 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516460,516473] [2022-11-18 20:34:44,215 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516642,516655] [2022-11-18 20:34:44,220 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516834,516847] [2022-11-18 20:34:44,222 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517085,517098] [2022-11-18 20:34:44,225 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517483,517496] [2022-11-18 20:34:44,226 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517607,517620] [2022-11-18 20:34:44,226 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517664,517677] [2022-11-18 20:34:44,227 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517716,517729] [2022-11-18 20:34:44,235 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517908,517921] [2022-11-18 20:34:44,238 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518159,518172] [2022-11-18 20:34:44,239 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518257,518270] [2022-11-18 20:34:44,239 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518314,518327] [2022-11-18 20:34:44,240 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518366,518379] [2022-11-18 20:34:44,241 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518558,518571] [2022-11-18 20:34:44,244 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518809,518822] [2022-11-18 20:34:44,245 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518878,518891] [2022-11-18 20:34:44,245 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518935,518948] [2022-11-18 20:34:44,246 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518987,519000] [2022-11-18 20:34:44,251 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[519179,519192] [2022-11-18 20:34:44,252 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[519430,519443] [2022-11-18 20:34:44,262 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[522907,522920] [2022-11-18 20:34:44,270 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523010,523023] [2022-11-18 20:34:44,271 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523082,523095] [2022-11-18 20:34:44,272 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523172,523185] [2022-11-18 20:34:44,272 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523225,523238] [2022-11-18 20:34:44,272 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523278,523291] [2022-11-18 20:34:44,273 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523356,523369] [2022-11-18 20:34:44,273 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523432,523445] [2022-11-18 20:34:44,275 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523977,523990] [2022-11-18 20:34:44,275 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524071,524084] [2022-11-18 20:34:44,276 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524130,524143] [2022-11-18 20:34:44,277 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524321,524334] [2022-11-18 20:34:44,278 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524380,524393] [2022-11-18 20:34:44,278 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524445,524458] [2022-11-18 20:34:44,278 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524504,524517] [2022-11-18 20:34:44,279 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524659,524672] [2022-11-18 20:34:44,279 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524718,524731] [2022-11-18 20:34:44,280 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524783,524796] [2022-11-18 20:34:44,281 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524842,524855] [2022-11-18 20:34:44,281 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525088,525101] [2022-11-18 20:34:44,286 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525149,525162] [2022-11-18 20:34:44,287 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525324,525337] [2022-11-18 20:34:44,288 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525387,525400] [2022-11-18 20:34:44,288 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525456,525469] [2022-11-18 20:34:44,289 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525519,525532] [2022-11-18 20:34:44,292 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525974,525987] [2022-11-18 20:34:44,292 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526051,526064] [2022-11-18 20:34:44,293 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526170,526183] [2022-11-18 20:34:44,293 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526229,526242] [2022-11-18 20:34:44,294 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526288,526301] [2022-11-18 20:34:44,294 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526476,526489] [2022-11-18 20:34:44,295 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526629,526642] [2022-11-18 20:34:44,295 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526688,526701] [2022-11-18 20:34:44,296 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526855,526868] [2022-11-18 20:34:44,300 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[527587,527600] [2022-11-18 20:34:44,300 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[527701,527714] [2022-11-18 20:34:44,301 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528052,528065] [2022-11-18 20:34:44,302 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528122,528135] [2022-11-18 20:34:44,303 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528278,528291] [2022-11-18 20:34:44,303 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528348,528361] [2022-11-18 20:34:44,304 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528579,528592] [2022-11-18 20:34:44,304 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528649,528662] [2022-11-18 20:34:44,306 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528820,528833] [2022-11-18 20:34:44,306 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528890,528903] [2022-11-18 20:34:44,307 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528970,528983] [2022-11-18 20:34:44,313 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531257,531270] [2022-11-18 20:34:44,314 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531314,531327] [2022-11-18 20:34:44,314 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531473,531486] [2022-11-18 20:34:44,314 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531603,531616] [2022-11-18 20:34:44,315 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531705,531718] [2022-11-18 20:34:44,315 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531835,531848] [2022-11-18 20:34:44,317 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531935,531948] [2022-11-18 20:34:44,319 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531992,532005] [2022-11-18 20:34:44,320 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532360,532373] [2022-11-18 20:34:44,320 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532417,532430] [2022-11-18 20:34:44,321 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532793,532806] [2022-11-18 20:34:44,322 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532850,532863] [2022-11-18 20:34:44,323 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533361,533374] [2022-11-18 20:34:44,323 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533411,533424] [2022-11-18 20:34:44,324 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533898,533911] [2022-11-18 20:34:44,325 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534167,534180] [2022-11-18 20:34:44,326 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534292,534305] [2022-11-18 20:34:44,326 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534368,534381] [2022-11-18 20:34:44,326 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534462,534475] [2022-11-18 20:34:44,327 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534523,534536] [2022-11-18 20:34:44,327 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534597,534610] [2022-11-18 20:34:44,328 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534895,534908] [2022-11-18 20:34:44,328 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534956,534969] [2022-11-18 20:34:44,329 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535030,535043] [2022-11-18 20:34:44,331 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535163,535176] [2022-11-18 20:34:44,332 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535294,535307] [2022-11-18 20:34:44,333 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535858,535871] [2022-11-18 20:34:44,333 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535932,535945] [2022-11-18 20:34:44,334 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536017,536030] [2022-11-18 20:34:44,334 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536258,536271] [2022-11-18 20:34:44,335 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536334,536347] [2022-11-18 20:34:44,336 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536432,536445] [2022-11-18 20:34:44,336 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536506,536519] [2022-11-18 20:34:44,337 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536627,536640] [2022-11-18 20:34:44,337 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536701,536714] [2022-11-18 20:34:44,338 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536957,536970] [2022-11-18 20:34:44,339 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[537358,537371] [2022-11-18 20:34:44,341 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[537772,537785] [2022-11-18 20:34:44,342 ERROR L326 MainTranslator]: Unsupported Syntax: Unsupported function: getenv [2022-11-18 20:34:44,343 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@5c1ba850 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.11 08:34:44, skipping insertion in model container [2022-11-18 20:34:44,343 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-18 20:34:44,343 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-18 20:34:44,348 INFO L158 Benchmark]: Toolchain (without parser) took 42460.06ms. Allocated memory was 268.4MB in the beginning and 346.0MB in the end (delta: 77.6MB). Free memory was 190.0MB in the beginning and 234.3MB in the end (delta: -44.3MB). Peak memory consumption was 218.1MB. Max. memory is 16.1GB. [2022-11-18 20:34:44,349 INFO L158 Benchmark]: CDTParser took 1.98ms. Allocated memory is still 98.6MB. Free memory was 55.7MB in the beginning and 55.6MB in the end (delta: 43.0kB). There was no memory consumed. Max. memory is 16.1GB. [2022-11-18 20:34:44,349 INFO L158 Benchmark]: CACSL2BoogieTranslator took 42452.80ms. Allocated memory was 268.4MB in the beginning and 346.0MB in the end (delta: 77.6MB). Free memory was 190.0MB in the beginning and 234.3MB in the end (delta: -44.3MB). Peak memory consumption was 218.1MB. Max. memory is 16.1GB. [2022-11-18 20:34:44,351 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 1.98ms. Allocated memory is still 98.6MB. Free memory was 55.7MB in the beginning and 55.6MB in the end (delta: 43.0kB). There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 42452.80ms. Allocated memory was 268.4MB in the beginning and 346.0MB in the end (delta: 77.6MB). Free memory was 190.0MB in the beginning and 234.3MB in the end (delta: -44.3MB). Peak memory consumption was 218.1MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 9903]: Unsupported Syntax Unsupported function: getenv 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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 935f88b4e8d3c594a969e02830dc0e71e1824c543ec1edef55d689968d17ba50 --- 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-8393723 [2022-11-18 20:34:46,506 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-18 20:34:46,509 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-18 20:34:46,549 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-18 20:34:46,549 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-18 20:34:46,553 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-18 20:34:46,556 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-18 20:34:46,563 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-18 20:34:46,566 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-18 20:34:46,571 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-18 20:34:46,573 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-18 20:34:46,575 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-18 20:34:46,576 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-18 20:34:46,578 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-18 20:34:46,580 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-18 20:34:46,581 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-18 20:34:46,584 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-18 20:34:46,585 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-18 20:34:46,590 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-18 20:34:46,597 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-18 20:34:46,599 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-18 20:34:46,601 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-18 20:34:46,603 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-18 20:34:46,605 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-18 20:34:46,614 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-18 20:34:46,615 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-18 20:34:46,615 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-18 20:34:46,617 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-18 20:34:46,618 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-18 20:34:46,620 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-18 20:34:46,620 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-18 20:34:46,622 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-18 20:34:46,624 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-18 20:34:46,625 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-18 20:34:46,626 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-18 20:34:46,626 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-18 20:34:46,627 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-18 20:34:46,627 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-18 20:34:46,628 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-18 20:34:46,630 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-18 20:34:46,630 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-18 20:34:46,631 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf [2022-11-18 20:34:46,674 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-18 20:34:46,674 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-18 20:34:46,675 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-18 20:34:46,676 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-18 20:34:46,676 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-18 20:34:46,677 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-18 20:34:46,678 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-18 20:34:46,678 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-18 20:34:46,679 INFO L138 SettingsManager]: * Use SBE=true [2022-11-18 20:34:46,679 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-18 20:34:46,680 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-18 20:34:46,680 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-18 20:34:46,692 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-18 20:34:46,692 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-18 20:34:46,693 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-18 20:34:46,693 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-18 20:34:46,693 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-18 20:34:46,693 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-18 20:34:46,693 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-11-18 20:34:46,694 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-11-18 20:34:46,694 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-18 20:34:46,694 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-18 20:34:46,694 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-18 20:34:46,694 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-18 20:34:46,695 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-18 20:34:46,695 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-18 20:34:46,695 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-18 20:34:46,696 INFO L138 SettingsManager]: * Trace refinement strategy=WOLF [2022-11-18 20:34:46,696 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-11-18 20:34:46,696 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-18 20:34:46,696 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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/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_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro 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 valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) 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 -> 935f88b4e8d3c594a969e02830dc0e71e1824c543ec1edef55d689968d17ba50 [2022-11-18 20:34:47,098 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-18 20:34:47,128 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-18 20:34:47,131 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-18 20:34:47,133 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-18 20:34:47,133 INFO L275 PluginConnector]: CDTParser initialized [2022-11-18 20:34:47,135 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i [2022-11-18 20:34:47,205 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/fec51f08e/4958b37c3ebd44459f8c12882e0b71c3/FLAGd721ff890 [2022-11-18 20:34:49,976 INFO L306 CDTParser]: Found 1 translation units. [2022-11-18 20:34:49,977 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i [2022-11-18 20:34:50,325 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/fec51f08e/4958b37c3ebd44459f8c12882e0b71c3/FLAGd721ff890 [2022-11-18 20:34:50,542 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/bin/uautomizer-TMbwUNV5ro/data/fec51f08e/4958b37c3ebd44459f8c12882e0b71c3 [2022-11-18 20:34:50,544 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-18 20:34:50,547 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-18 20:34:50,550 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-18 20:34:50,550 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-18 20:34:50,554 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-18 20:34:50,555 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.11 08:34:50" (1/1) ... [2022-11-18 20:34:50,556 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@99cbfb1 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.11 08:34:50, skipping insertion in model container [2022-11-18 20:34:50,557 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.11 08:34:50" (1/1) ... [2022-11-18 20:34:50,564 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-18 20:34:51,243 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-18 20:35:24,080 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2022-11-18 20:35:24,081 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2022-11-18 20:35:24,082 WARN L611 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2022-11-18 20:35:24,083 WARN L611 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2022-11-18 20:35:24,085 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2022-11-18 20:35:24,086 WARN L611 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2022-11-18 20:35:24,087 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2022-11-18 20:35:24,089 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2022-11-18 20:35:24,090 WARN L611 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2022-11-18 20:35:24,092 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[465954,465967] [2022-11-18 20:35:24,094 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466009,466022] [2022-11-18 20:35:24,095 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466147,466160] [2022-11-18 20:35:24,097 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466645,466658] [2022-11-18 20:35:24,099 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[466946,466959] [2022-11-18 20:35:24,100 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467019,467032] [2022-11-18 20:35:24,102 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467937,467950] [2022-11-18 20:35:24,103 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[467995,468008] [2022-11-18 20:35:24,104 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468047,468060] [2022-11-18 20:35:24,105 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468381,468394] [2022-11-18 20:35:24,106 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468439,468452] [2022-11-18 20:35:24,107 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[468491,468504] [2022-11-18 20:35:24,108 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469361,469374] [2022-11-18 20:35:24,110 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469823,469836] [2022-11-18 20:35:24,111 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[469899,469912] [2022-11-18 20:35:24,115 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[473393,473406] [2022-11-18 20:35:24,117 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[474042,474055] [2022-11-18 20:35:24,118 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[474118,474131] [2022-11-18 20:35:24,133 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486048,486061] [2022-11-18 20:35:24,134 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486159,486172] [2022-11-18 20:35:24,134 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486278,486291] [2022-11-18 20:35:24,135 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486352,486365] [2022-11-18 20:35:24,136 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486445,486458] [2022-11-18 20:35:24,136 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486569,486582] [2022-11-18 20:35:24,137 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486653,486666] [2022-11-18 20:35:24,137 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486725,486738] [2022-11-18 20:35:24,138 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486781,486794] [2022-11-18 20:35:24,139 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486874,486887] [2022-11-18 20:35:24,139 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[486977,486990] [2022-11-18 20:35:24,140 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487045,487058] [2022-11-18 20:35:24,140 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487136,487149] [2022-11-18 20:35:24,141 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487198,487211] [2022-11-18 20:35:24,142 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487286,487299] [2022-11-18 20:35:24,143 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487342,487355] [2022-11-18 20:35:24,143 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487410,487423] [2022-11-18 20:35:24,144 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487504,487517] [2022-11-18 20:35:24,144 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487566,487579] [2022-11-18 20:35:24,145 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487643,487656] [2022-11-18 20:35:24,145 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487703,487716] [2022-11-18 20:35:24,146 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487767,487780] [2022-11-18 20:35:24,147 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487839,487852] [2022-11-18 20:35:24,147 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487905,487918] [2022-11-18 20:35:24,148 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[487961,487974] [2022-11-18 20:35:24,148 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488045,488058] [2022-11-18 20:35:24,149 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488121,488134] [2022-11-18 20:35:24,151 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488756,488769] [2022-11-18 20:35:24,152 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[488810,488823] [2022-11-18 20:35:24,153 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489074,489087] [2022-11-18 20:35:24,154 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489137,489150] [2022-11-18 20:35:24,155 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489219,489232] [2022-11-18 20:35:24,155 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489285,489298] [2022-11-18 20:35:24,156 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489342,489355] [2022-11-18 20:35:24,157 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489412,489425] [2022-11-18 20:35:24,157 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489490,489503] [2022-11-18 20:35:24,158 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489562,489575] [2022-11-18 20:35:24,159 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489624,489637] [2022-11-18 20:35:24,160 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489680,489693] [2022-11-18 20:35:24,161 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489896,489909] [2022-11-18 20:35:24,161 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[489955,489968] [2022-11-18 20:35:24,162 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490033,490046] [2022-11-18 20:35:24,163 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490095,490108] [2022-11-18 20:35:24,163 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490161,490174] [2022-11-18 20:35:24,164 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490235,490248] [2022-11-18 20:35:24,164 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490303,490316] [2022-11-18 20:35:24,165 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490361,490374] [2022-11-18 20:35:24,166 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490486,490499] [2022-11-18 20:35:24,166 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490548,490561] [2022-11-18 20:35:24,167 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490628,490641] [2022-11-18 20:35:24,167 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490690,490703] [2022-11-18 20:35:24,168 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490882,490895] [2022-11-18 20:35:24,169 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[490941,490954] [2022-11-18 20:35:24,170 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491004,491017] [2022-11-18 20:35:24,170 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491082,491095] [2022-11-18 20:35:24,171 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491144,491157] [2022-11-18 20:35:24,171 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491210,491223] [2022-11-18 20:35:24,172 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491284,491297] [2022-11-18 20:35:24,172 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491352,491365] [2022-11-18 20:35:24,173 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491410,491423] [2022-11-18 20:35:24,173 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491473,491486] [2022-11-18 20:35:24,174 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491594,491607] [2022-11-18 20:35:24,175 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491674,491687] [2022-11-18 20:35:24,175 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491822,491835] [2022-11-18 20:35:24,176 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491902,491915] [2022-11-18 20:35:24,177 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[491964,491977] [2022-11-18 20:35:24,177 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492102,492115] [2022-11-18 20:35:24,178 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492184,492197] [2022-11-18 20:35:24,179 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492248,492261] [2022-11-18 20:35:24,179 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[492427,492440] [2022-11-18 20:35:24,186 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494598,494611] [2022-11-18 20:35:24,187 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494654,494667] [2022-11-18 20:35:24,188 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494739,494752] [2022-11-18 20:35:24,188 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494797,494810] [2022-11-18 20:35:24,189 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[494855,494868] [2022-11-18 20:35:24,190 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495036,495049] [2022-11-18 20:35:24,191 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495205,495218] [2022-11-18 20:35:24,192 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495352,495365] [2022-11-18 20:35:24,192 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495408,495421] [2022-11-18 20:35:24,193 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495460,495473] [2022-11-18 20:35:24,194 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495837,495850] [2022-11-18 20:35:24,195 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495893,495906] [2022-11-18 20:35:24,196 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[495978,495991] [2022-11-18 20:35:24,196 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496036,496049] [2022-11-18 20:35:24,197 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496094,496107] [2022-11-18 20:35:24,198 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496273,496286] [2022-11-18 20:35:24,198 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496438,496451] [2022-11-18 20:35:24,199 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496585,496598] [2022-11-18 20:35:24,200 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496641,496654] [2022-11-18 20:35:24,200 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[496693,496706] [2022-11-18 20:35:24,203 WARN L611 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2022-11-18 20:35:24,218 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[506960,506973] [2022-11-18 20:35:24,219 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[507048,507061] [2022-11-18 20:35:24,226 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509103,509116] [2022-11-18 20:35:24,230 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509297,509310] [2022-11-18 20:35:24,232 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509550,509563] [2022-11-18 20:35:24,233 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509640,509653] [2022-11-18 20:35:24,235 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[509927,509940] [2022-11-18 20:35:24,235 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510094,510107] [2022-11-18 20:35:24,239 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510550,510563] [2022-11-18 20:35:24,240 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[510834,510847] [2022-11-18 20:35:24,243 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511156,511169] [2022-11-18 20:35:24,244 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511274,511287] [2022-11-18 20:35:24,246 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511605,511618] [2022-11-18 20:35:24,247 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511833,511846] [2022-11-18 20:35:24,249 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511892,511905] [2022-11-18 20:35:24,250 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[511950,511963] [2022-11-18 20:35:24,252 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512181,512194] [2022-11-18 20:35:24,258 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512237,512250] [2022-11-18 20:35:24,259 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512470,512483] [2022-11-18 20:35:24,260 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512526,512539] [2022-11-18 20:35:24,263 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[512804,512817] [2022-11-18 20:35:24,269 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513062,513075] [2022-11-18 20:35:24,270 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513118,513131] [2022-11-18 20:35:24,273 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513310,513323] [2022-11-18 20:35:24,274 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513561,513574] [2022-11-18 20:35:24,276 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513780,513793] [2022-11-18 20:35:24,277 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[513989,514002] [2022-11-18 20:35:24,278 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514044,514057] [2022-11-18 20:35:24,280 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514240,514253] [2022-11-18 20:35:24,282 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514495,514508] [2022-11-18 20:35:24,283 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514627,514640] [2022-11-18 20:35:24,286 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[514854,514867] [2022-11-18 20:35:24,287 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515071,515084] [2022-11-18 20:35:24,288 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515128,515141] [2022-11-18 20:35:24,289 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515189,515202] [2022-11-18 20:35:24,291 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515387,515400] [2022-11-18 20:35:24,296 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515644,515657] [2022-11-18 20:35:24,297 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[515792,515805] [2022-11-18 20:35:24,300 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516005,516018] [2022-11-18 20:35:24,302 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516203,516216] [2022-11-18 20:35:24,303 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516460,516473] [2022-11-18 20:35:24,306 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516642,516655] [2022-11-18 20:35:24,311 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[516834,516847] [2022-11-18 20:35:24,314 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517085,517098] [2022-11-18 20:35:24,316 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517483,517496] [2022-11-18 20:35:24,321 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517607,517620] [2022-11-18 20:35:24,322 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517664,517677] [2022-11-18 20:35:24,322 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517716,517729] [2022-11-18 20:35:24,324 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[517908,517921] [2022-11-18 20:35:24,325 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518159,518172] [2022-11-18 20:35:24,326 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518257,518270] [2022-11-18 20:35:24,327 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518314,518327] [2022-11-18 20:35:24,327 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518366,518379] [2022-11-18 20:35:24,331 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518558,518571] [2022-11-18 20:35:24,334 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518809,518822] [2022-11-18 20:35:24,335 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518878,518891] [2022-11-18 20:35:24,336 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518935,518948] [2022-11-18 20:35:24,336 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[518987,519000] [2022-11-18 20:35:24,338 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[519179,519192] [2022-11-18 20:35:24,341 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[519430,519443] [2022-11-18 20:35:24,353 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[522907,522920] [2022-11-18 20:35:24,358 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523010,523023] [2022-11-18 20:35:24,358 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523082,523095] [2022-11-18 20:35:24,359 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523172,523185] [2022-11-18 20:35:24,359 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523225,523238] [2022-11-18 20:35:24,360 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523278,523291] [2022-11-18 20:35:24,361 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523356,523369] [2022-11-18 20:35:24,362 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523432,523445] [2022-11-18 20:35:24,364 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[523977,523990] [2022-11-18 20:35:24,365 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524071,524084] [2022-11-18 20:35:24,366 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524130,524143] [2022-11-18 20:35:24,366 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524321,524334] [2022-11-18 20:35:24,367 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524380,524393] [2022-11-18 20:35:24,367 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524445,524458] [2022-11-18 20:35:24,368 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524504,524517] [2022-11-18 20:35:24,370 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524659,524672] [2022-11-18 20:35:24,372 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524718,524731] [2022-11-18 20:35:24,373 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524783,524796] [2022-11-18 20:35:24,373 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[524842,524855] [2022-11-18 20:35:24,374 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525088,525101] [2022-11-18 20:35:24,383 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525149,525162] [2022-11-18 20:35:24,385 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525324,525337] [2022-11-18 20:35:24,386 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525387,525400] [2022-11-18 20:35:24,387 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525456,525469] [2022-11-18 20:35:24,387 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525519,525532] [2022-11-18 20:35:24,388 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[525974,525987] [2022-11-18 20:35:24,392 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526051,526064] [2022-11-18 20:35:24,392 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526170,526183] [2022-11-18 20:35:24,393 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526229,526242] [2022-11-18 20:35:24,393 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526288,526301] [2022-11-18 20:35:24,394 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526476,526489] [2022-11-18 20:35:24,395 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526629,526642] [2022-11-18 20:35:24,396 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526688,526701] [2022-11-18 20:35:24,397 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[526855,526868] [2022-11-18 20:35:24,403 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[527587,527600] [2022-11-18 20:35:24,403 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[527701,527714] [2022-11-18 20:35:24,404 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528052,528065] [2022-11-18 20:35:24,405 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528122,528135] [2022-11-18 20:35:24,406 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528278,528291] [2022-11-18 20:35:24,407 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528348,528361] [2022-11-18 20:35:24,408 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528579,528592] [2022-11-18 20:35:24,408 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528649,528662] [2022-11-18 20:35:24,410 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528820,528833] [2022-11-18 20:35:24,410 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528890,528903] [2022-11-18 20:35:24,411 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[528970,528983] [2022-11-18 20:35:24,421 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531257,531270] [2022-11-18 20:35:24,422 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531314,531327] [2022-11-18 20:35:24,425 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531473,531486] [2022-11-18 20:35:24,427 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531603,531616] [2022-11-18 20:35:24,428 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531705,531718] [2022-11-18 20:35:24,429 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531835,531848] [2022-11-18 20:35:24,431 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531935,531948] [2022-11-18 20:35:24,431 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[531992,532005] [2022-11-18 20:35:24,432 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532360,532373] [2022-11-18 20:35:24,433 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532417,532430] [2022-11-18 20:35:24,434 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532793,532806] [2022-11-18 20:35:24,435 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[532850,532863] [2022-11-18 20:35:24,438 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533361,533374] [2022-11-18 20:35:24,439 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533411,533424] [2022-11-18 20:35:24,441 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[533898,533911] [2022-11-18 20:35:24,442 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534167,534180] [2022-11-18 20:35:24,442 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534292,534305] [2022-11-18 20:35:24,444 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534368,534381] [2022-11-18 20:35:24,445 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534462,534475] [2022-11-18 20:35:24,445 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534523,534536] [2022-11-18 20:35:24,446 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534597,534610] [2022-11-18 20:35:24,447 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534895,534908] [2022-11-18 20:35:24,447 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[534956,534969] [2022-11-18 20:35:24,448 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535030,535043] [2022-11-18 20:35:24,451 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535163,535176] [2022-11-18 20:35:24,452 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535294,535307] [2022-11-18 20:35:24,458 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535858,535871] [2022-11-18 20:35:24,458 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[535932,535945] [2022-11-18 20:35:24,459 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536017,536030] [2022-11-18 20:35:24,459 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536258,536271] [2022-11-18 20:35:24,460 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536334,536347] [2022-11-18 20:35:24,460 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536432,536445] [2022-11-18 20:35:24,460 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536506,536519] [2022-11-18 20:35:24,461 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536627,536640] [2022-11-18 20:35:24,461 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536701,536714] [2022-11-18 20:35:24,462 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[536957,536970] [2022-11-18 20:35:24,463 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[537358,537371] [2022-11-18 20:35:24,464 WARN L234 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_88e93fb7-5c0c-4dbc-a841-807c63155bb8/sv-benchmarks/c/goblint-coreutils/instrumented_interval_cp_comb.i[537772,537785] [2022-11-18 20:35:24,466 ERROR L326 MainTranslator]: Unsupported Syntax: Unsupported function: getenv [2022-11-18 20:35:24,467 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@76fd8ae7 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.11 08:35:24, skipping insertion in model container [2022-11-18 20:35:24,467 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-18 20:35:24,467 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-18 20:35:24,469 INFO L158 Benchmark]: Toolchain (without parser) took 33922.00ms. Allocated memory was 262.1MB in the beginning and 419.4MB in the end (delta: 157.3MB). Free memory was 167.7MB in the beginning and 257.5MB in the end (delta: -89.9MB). Peak memory consumption was 262.1MB. Max. memory is 16.1GB. [2022-11-18 20:35:24,470 INFO L158 Benchmark]: CDTParser took 0.30ms. Allocated memory is still 54.5MB. Free memory is still 35.0MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-18 20:35:24,470 INFO L158 Benchmark]: CACSL2BoogieTranslator took 33917.49ms. Allocated memory was 262.1MB in the beginning and 419.4MB in the end (delta: 157.3MB). Free memory was 167.5MB in the beginning and 257.5MB in the end (delta: -90.1MB). Peak memory consumption was 262.1MB. Max. memory is 16.1GB. [2022-11-18 20:35:24,472 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.30ms. Allocated memory is still 54.5MB. Free memory is still 35.0MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 33917.49ms. Allocated memory was 262.1MB in the beginning and 419.4MB in the end (delta: 157.3MB). Free memory was 167.5MB in the beginning and 257.5MB in the end (delta: -90.1MB). Peak memory consumption was 262.1MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 9903]: Unsupported Syntax Unsupported function: getenv 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