./Ultimate.py --spec ../../../trunk/examples/svcomp/properties/unreach-call.prp --file ../../../trunk/examples/svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.i --full-output --validate ./goblint.2024-08-08_07-59-58.files/protection-local/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml/witness.yml --architecture 32bit -------------------------------------------------------------------------------- usage: Ultimate.py [-h] [--version] [--ultversion] [--config