ionathanch/coq

Performance issues with test suite

Closed this issue · 1 comments

ionathanch commented

It seems like test-suite/success/Nsatz.v is taking a very long time to compile.

ionathanch commented

Closing this because the workaround in 320a0d2 works and (after some fixes) the tests pass. But I'll leave #10 open because that's still a legit problem.