This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 143

Summary: Extend XML format with id for transitions
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement CC: m.amann
Priority: P5    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:
Bug Depends on:    
Bug Blocks: 144    

Description Gerd Behrmann 2005-04-01 17:56:38 CEST 
Michael Amann suggested that the XML file format is extended such that
transitions have a unique id.
Comment 1 Gerd Behrmann 2005-06-17 11:54:48 CEST 
This might be usefull, but at the moment I see this as a rather low priority issue.