CPN engine with trace option gives error

[Jiri Srba]

Open the attached net and verify - it gives an error if you ask for a trace (without trace it works). Also, the net does not unfold (press M) - it says interrupted by the user.

[Jiri Srba (srba)]

The unfolding is probably too big, this is the issue. The trace problem is still an issue.

[Jiri Srba (srba)]

For some reason the returned trace looks like this (it misses the consumed tokens):

<trace>
 <transition id="TAPN1_unstack_109" index="145">
 </transition>
 <transition id="TAPN1_act_stack_106" index="686">
 </transition>
 <transition id="TAPN1_unstack_193" index="247">
 </transition>
 <transition id="TAPN1_act_stack_191" index="762">
 </transition>
 <transition id="TAPN1_unstack_274" index="346">
 </transition>
 <transition id="TAPN1_act_stack_265" index="679">
 </transition>
 <transition id="TAPN1_act_pickup_14" index="14">
 </transition>
 <transition id="TAPN1_act_stack_289" index="755">
 </transition>
 <transition id="TAPN1_unstack_372" index="462">
         ...

[Jiri Srba (srba)]

Fixed in the verifypn engine. The unfolding still gives a problem but it is GUI issue when parsing too big PNML files - there is another bug report where this will be fixed.