./Ultimate.py --spec ../sv-benchmarks/c/properties/unreach-call.prp --file ../sv-benchmarks/c/loop-acceleration/array_2-2-simple.i --full-output --witness-type correctness_witness --validate ../results/automizer-verification-files/SV-COMP24_unreach-call/array_2-2-simple.yml/witness-2.1.yml --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/automizer-verification-files/SV-COMP24_unreach-call/array_2-2-simple.yml/witness-2.1.yml does not exist