wisnesky opened this issue 6 years ago · 0 comments
The termination check for the program prover is based on size, so it isn't very good. There are lots of better options available.