Strange specification pattern evaluation
Existence pattern “P becomes true…” “Globally” is not satisfied for term “true”
(from redmine: issue id 785, created on 2012-04-25, closed on 2012-05-02)
- Relations:
- parent #849 (closed)
Existence pattern “P becomes true…” “Globally” is not satisfied for term “true”
(from redmine: issue id 785, created on 2012-04-25, closed on 2012-05-02)