Model-checking of TLC Merge component does not work as expected
Globally response returns false: G (inARequest == Present() -> F (outMergeRequest == Present()))
The cause is the fix in #768.
(from redmine: issue id 782, created on 2012-04-24, closed on 2012-04-25)
- Relations:
- parent #849 (closed)