Closed mtzguido closed 7 months ago
Random proof regression: bump rlimit and use #restart-solver to make it more stable. It was in fact working in VS code but failing in batch, which is odd.
Random proof regression: bump rlimit and use #restart-solver to make it more stable. It was in fact working in VS code but failing in batch, which is odd.