statebox/cql

Better Termination Checker

wisnesky opened this issue · 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.