./Ultimate.py --spec ../../../trunk/examples/svcomp/properties/unreach-call.prp --file ../../../trunk/examples/svcomp/array-industry-pattern/array_of_struct_loop_dep.i --full-output --witness-type violation_witness --validate ./svcomp-yaml-violation-generation.2024-08-01_14-26-22.files/Default/array_of_struct_loop_dep.yml/witness.yml --preprocessor.replace.while.statements.and.if-then-else.statements false --icfgbuilder.size.of.a.code.block SequenceOfStatements --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 ./svcomp-yaml-violation-generation.2024-08-01_14-26-22.files/Default/array_of_struct_loop_dep.yml/witness.yml does not exist