fix(difftest): include difftest-def.h in spike (#81)
#147
| Job | Run time |
|---|---|
| 11m 36s | |
| 5m 30s | |
| 12m 5s | |
| 5m 26s | |
| 12m 55s | |
| 7m 26s | |
| 11m 31s | |
| 5m 24s | |
| 12m 25s | |
| 5m 9s | |
| 12m 50s | |
| 7m 44s | |
| 11m 44s | |
| 5m 15s | |
| 13m 3s | |
| 4m 58s | |
| 12m 44s | |
| 7m 24s | |
| 2h 45m 9s |