urgent locations are ignored
Bug #780495 reported by
Thomas Bøgholm
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
pyuppaal |
Fix Released
|
Critical
|
Thomas Bøgholm |
Bug Description
urgent locations are ignored when models are read from - and are never written when using to_xml
Related branches
lp:~boegholm/pyuppaal/780495-fix
- Kenneth Yrke Jørgensen: Approve
-
Diff: 65 lines (+18/-2)3 files modifiedpyuppaal/pyuppaal.py (+6/-2)
tests/test_import.py (+5/-0)
tests/urgent.xml (+7/-0)
Changed in pyuppaal: | |
status: | New → In Progress |
assignee: | nobody → Thomas Bøgholm (boegholm) |
Changed in pyuppaal: | |
importance: | Undecided → Critical |
Changed in pyuppaal: | |
status: | In Progress → Fix Released |
To post a comment you must log in.