Unfolds to empty net

[Jiri Srba]

Open the attached net and unfold - press M - it will unfold to an empty net (no places and no transitions) even if all unfolding optimizations are disabled.

[Jiri Srba (srba)]

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).

[Jiri Srba (srba)]

This is now fixed for verifypn but should be also fixed for verifydtapn and verifytapn. Plus it should pass the query always using the XML format and not the text format. To test, use the same net as above but make it timed before unfolding.