Problem with weight constants in composer
Bug #1770637 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Unassigned |
Bug Description
Create a net with one arc, make a new constant and set the constant as the weight of the arc.
Then either export the query as XML file or open query dialog/advanced and select open composed net
and there is an exception. The composes of the net does not replace the constant with its value
but instead writes the constant name in <inscription> tag in the query XML file.
Related branches
lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
- Jiri Srba: Approve
-
Diff: 97 lines (+17/-5)5 files modifiedsrc/dk/aau/cs/io/PNMLWriter.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedInputArc.java (+4/-0)
src/dk/aau/cs/model/tapn/TimedOutputArc.java (+4/-0)
src/dk/aau/cs/model/tapn/TransportArc.java (+4/-0)
src/dk/aau/cs/verification/TAPNComposer.java (+4/-4)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.