Open fridis opened 2 months ago
Running tests/catch_postcondition with the JVM backend takes 24s on my machine, 93% of this time is spent during DFA.
tests/catch_postcondition
see also: #2360
Running
tests/catch_postcondition
with the JVM backend takes 24s on my machine, 93% of this time is spent during DFA.