tester: enable prop_multiple_equally_applicable rewriter check
#23
| Job | Run time |
|---|---|
| 9m 17s | |
| 11m 16s | |
| 20m 33s |
prop_multiple_equally_applicable rewriter check
#23
| Job | Run time |
|---|---|
| 9m 17s | |
| 11m 16s | |
| 20m 33s |