Comment 3 for bug 2037313

Revision history for this message
Jiri Srba (srba) wrote :

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