Add goto-bmc
, a new tool to run only the verifier
#1153
Job | Run time |
---|---|
27m 10s | |
9m 55s | |
37m 5s |
goto-bmc
, a new tool to run only the verifier
#1153
Job | Run time |
---|---|
27m 10s | |
9m 55s | |
37m 5s |