NullPointerException in NuSMVTextGenerator
Occurs when using existence pattern “P becomes true …” “before R”, even if both term are just “true”
(from redmine: issue id 784, created on 2012-04-25, closed on 2012-05-02)
- Relations:
- parent #849 (closed)