Add goto-bmc, a new tool to run only the verifier
#8344
| Job | Run time |
|---|---|
| 3m 35s | |
| 38m 10s | |
| 7m 53s | |
| 24m 53s | |
| 55m 50s | |
| 28m 46s | |
| 25m 2s | |
| 38m 24s | |
| 53m 43s | |
| 3m 20s | |
| 27m 24s | |
| 11m 53s | |
| 47m 2s | |
| 28m 29s | |
| 31m 24s | |
| 32m 23s | |
| 53m 39s | |
| 39m 32s | |
| 9h 11m 22s |