Open
Description
For the following file T2 says that it's terminating when we believe it's not (but we may have the semantics wrong...)
Command line arguments: T2.exe --log --termination --print_proof
[this is a simplified version of a much bigger example and it's the smallest we could use to re-create the issue]
Thanks,
Franco & Nikos
Metadata
Metadata
Assignees
Labels
No labels