PNML export and import is broken
Bug #1853823 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Peter Haahr Taankvist | ||
Bug Description
Open the attached model. The export it to pnml format and load it again as a pnml file.
A parsing error is reported and moreoever, it refers to the file that is ending with .tapn
instead of .pnml.
Related branches
lp:~tapaal-contributor/tapaal/export-import-PNML-1853823
- Jiri Srba: Approve
-
Diff: 202 lines (+58/-26)3 files modifiedsrc/dk/aau/cs/io/PNMLWriter.java (+3/-2)
src/net/tapaal/TAPAAL.java (+6/-1)
src/pipe/gui/GuiFrame.java (+49/-23)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
