fix: nontermination while generating equation lemmas for match-expr…
#24731
| Job | Run time |
|---|---|
| 4s | |
| 17m 57s | |
| 23m 51s | |
| 28m 29s | |
| 1s | |
| 1s | |
| 1s | |
| 1h 10m 24s |
match-expr…
#24731
| Job | Run time |
|---|---|
| 4s | |
| 17m 57s | |
| 23m 51s | |
| 28m 29s | |
| 1s | |
| 1s | |
| 1s | |
| 1h 10m 24s |