./Ultimate.py --spec ../../../trunk/examples/svcomp/properties/unreach-call.prp --file ../../../trunk/examples/svcomp/ldv-races/race-4_1-thread_local_vars.i --full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-06-19_11-23-25.files/protection/race-4_1-thread_local_vars.yml/witness.yml --architecture 32bit


--------------------------------------------------------------------------------


No suitable file found in config dir /storage/repos/ultimate/releaseScripts/default/UGemCutter-linux/config using search string *ReachWitnessValidation.xml
No suitable toolchain file found using *ReachWitnessValidation.xml