Add goto-bmc
, a new tool to run only the verifier
#4301
Job | Run time |
---|---|
1h 11m 50s | |
21m 46s | |
21m 58s | |
33m 14s | |
2h 28m 48s |
goto-bmc
, a new tool to run only the verifier
#4301
Job | Run time |
---|---|
1h 11m 50s | |
21m 46s | |
21m 58s | |
33m 14s | |
2h 28m 48s |