./Ultimate.py --spec ../../../trunk/examples/svcomp/properties/unreach-call.prp --file ../../../trunk/examples/svcomp/pthread-wmm/mix033_tso.oepc.i --full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --validate ./goblint.2024-06-19_11-23-25.files/mutex-meet-nonrel/mix033_tso.oepc.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