./Ultimate.py --spec ../sv-benchmarks/c/properties/no-data-race.prp --file ../sv-benchmarks/c/pthread-ext/26_stack_cas-race.i --full-output --witness-type violation_witness --validate ../results-verified/LOGDIR/SV-COMP24_no-data-race/26_stack_cas-race.yml/witness.graphml --architecture 32bit -------------------------------------------------------------------------------- usage: Ultimate.py [-h] [--version] [--ultversion] [--config