./Ultimate.py --spec ../../../trunk/examples/svcomp/properties/unreach-call.prp --file ../../../trunk/examples/svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.i --full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-06-19_11-23-25.files/mutex-meet-rel/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml/witness.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 ./goblint.2024-06-19_11-23-25.files/mutex-meet-rel/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml/witness.yml does not exist