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
Closed this issue · 1 comments
It seems like test-suite/success/Nsatz.v
is taking a very long time to compile.