Counter example fail
In this simple model, at each tic the variable “i” in the only component
is increased by 1. Then we try to prove that i <= 5 is globally true.
This property fail as expected but the counter example, instead
to propose a computation path that end with some i >5, propose a
computation path that end with i = 4.
(from redmine: issue id 1926, created on 2014-02-12, closed on 2014-02-15)
- Uploads: