CPN unfold generation issue - missing close tag formula

Bug #1952525 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Unassigned

Bug Description

Open the attached net and verify. It will return Parse exception about
missing closing tag </formula>

Revision history for this message
Jiri Srba (srba) wrote :
summary: - CPN trace generation issue
+ CPN unfold generation issue - missing close tag formula
Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.