./Ultimate.py --spec ../sv-benchmarks/c/properties/no-data-race.prp --file ../sv-benchmarks/c/pthread-ext/12_fmaxsymopt_cas.i --full-output --witness-type violation_witness --validate ../results-verified/LOGDIR/SV-COMP24_no-data-race/12_fmaxsymopt_cas.yml/witness.graphml --architecture 32bit


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


usage: Ultimate.py [-h] [--version] [--ultversion] [--config <dir>]
                   [--data <dir>] [-ea] [--full-output] [--envdebug]
                   [--spec <file>] [--architecture {32bit,64bit}]
                   [--file <file>] [--validate <file>]
                   [--witness-type {correctness_witness,violation_witness}]
                   [--witness-dir <dir>] [--witness-name WITNESS_NAME]
Ultimate.py: error: argument --validate: File ../results-verified/LOGDIR/SV-COMP24_no-data-race/12_fmaxsymopt_cas.yml/witness.graphml does not exist