Allow fiat_test_drhook_no_output to pass when unrelated output is produced #102
| Job | Run time |
|---|---|
| 8m 27s | |
| 9m 12s | |
| 5m 22s | |
| 5m 8s | |
| 33m 35s | |
| 7m 36s | |
| 8m 24s | |
| 5m 4s | |
| 4m 19s | |
| 28m 51s | |
| 1h 55m 58s |
| Job | Run time |
|---|---|
| 8m 27s | |
| 9m 12s | |
| 5m 22s | |
| 5m 8s | |
| 33m 35s | |
| 7m 36s | |
| 8m 24s | |
| 5m 4s | |
| 4m 19s | |
| 28m 51s | |
| 1h 55m 58s |