Open
Description
When checking termination on the following file T2 returns "Termination proof succeeded" most of the time. But with a roughly 15% chance the result is
Unhandled Exception:
System.Exception: Internal T2 error (, method prover, line 0, col 0): Obtained counterexample to termination without a cycle!.
witch i take to be equivalent to non-termination.
I'm using the cert branch of T2 via mono on Linux, and only the --termination argument.
Metadata
Metadata
Assignees
Labels
No labels