JLimperg
commented
4 months ago That's fine. I deleted the test file because it effectively tested internal details of how we represent the simp set, and these details changed at some point.
Closed semorrison closed 4 months ago
JLimperg
commented
4 months ago That's fine. I deleted the test file because it effectively tested internal details of how we represent the simp set, and these details changed at some point.
@JLimperg, could you take a look? I don't recall deleting the test file, but it is gone on
nightly-testing, and no longer works.