Add integer-underflow-or-underflow detector and test-cases
#347
| Job | Run time |
|---|---|
| 7s | |
| 20s | |
| 45s | |
| 3s | |
| 47s | |
| 51s | |
| 51s | |
| 48s | |
| 49s | |
| 49s | |
| 51s | |
| 48s | |
| 50s | |
| 49s | |
| 50s | |
| 50s | |
| 50s | |
| 49s | |
| 48s | |
| 48s | |
| 49s | |
| 50s | |
| 48s | |
| 49s | |
| 48s | |
| 49s | |
| 49s | |
| 51s | |
| 1s | |
| 37s | |
| 1s | |
| 1s | |
| 51s | |
| 1s | |
| 1s | |
| 38s | |
| 1s | |
| 1s | |
| 1s | |
| 51s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 5s | |
| 24m 16s |