Remove hardcoded constant folding for unary minus in cabs2cil
#903
| Job | Run time |
|---|---|
| 2m 48s | |
| 2m 49s | |
| 2m 53s | |
| 12m 29s | |
| 2m 57s | |
| 7m 58s | |
| 3m 5s | |
| 2m 52s | |
| 3m 1s | |
| 3m 5s | |
| 5m 58s | |
| 3m 3s | |
| 9m 3s | |
| 1h 2m 1s |
cabs2cil
#903
| Job | Run time |
|---|---|
| 2m 48s | |
| 2m 49s | |
| 2m 53s | |
| 12m 29s | |
| 2m 57s | |
| 7m 58s | |
| 3m 5s | |
| 2m 52s | |
| 3m 1s | |
| 3m 5s | |
| 5m 58s | |
| 3m 3s | |
| 9m 3s | |
| 1h 2m 1s |