To avoid this feature, add the switch -R 0 to the call when you press M.
Also, pressing M should always create the EF true query and call it on it. Right now,
if there is a query in the model, it uses that one for unfolding using "M". This is wrong.
The actual query should be used for unfolding call only if we verify that query and want a trace (from the query dialog).
To avoid this feature, add the switch -R 0 to the call when you press M.
Also, pressing M should always create the EF true query and call it on it. Right now,
if there is a query in the model, it uses that one for unfolding using "M". This is wrong.
The actual query should be used for unfolding call only if we verify that query and want a trace (from the query dialog).