Add goto-bmc
, a new tool to run only the verifier
#1154
Job | Run time |
---|---|
3m 15s | |
1m 29s | |
4m 44s |
goto-bmc
, a new tool to run only the verifier
#1154
Job | Run time |
---|---|
3m 15s | |
1m 29s | |
4m 44s |