bitwuzla: Do not error when option incremental is set to false. (#371) #716
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 39s | |
| 14m 6s | |
| 2m 36s | |
| 2m 59s | |
| 13m 4s | |
| 3m 42s | |
| 3m 45s | |
| 12m 20s | |
| 2m 13s | |
| 2m 45s | |
| 9m 1s | |
| 1h 14m 6s |
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 39s | |
| 14m 6s | |
| 2m 36s | |
| 2m 59s | |
| 13m 4s | |
| 3m 42s | |
| 3m 45s | |
| 12m 20s | |
| 2m 13s | |
| 2m 45s | |
| 9m 1s | |
| 1h 14m 6s |