Open ftc opened 7 years ago
The following takes about 14 minutes to run on my system but eventually says its safe. We may want to look at how to make this quicker whether its improving my spec or something else.
command:
/usr/local/bin/python /Users/s/Documents/source/callback-verification/cbverifier/driver.py -m ic3 -t manual2.trace.repaired -s $(cat allspecs.txt.p) --ic3_frames 60 -n /Users/s/software/nuXmv-1.1.1-Darwin/bin/nuXm$ -z
files:
timeout_.zip
The following takes about 14 minutes to run on my system but eventually says its safe. We may want to look at how to make this quicker whether its improving my spec or something else.
command:
files:
timeout_.zip