Degree-2 converter is broken with nets using transportarc and inhib arc
Bug #1887524 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
- Open attached net
- run query
Observed: Error
Expected Result: answer to query
Related branches
lp:~yrke/tapaal/fix-1887524-prepostSetSize
- Jiri Srba: Approve
-
Diff: 309 lines (+36/-33)10 files modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedPlace.java (+1/-2)
src/dk/aau/cs/model/tapn/TimedTransition.java (+7/-3)
src/dk/aau/cs/translations/Degree2Converter.java (+7/-7)
src/dk/aau/cs/translations/Degree2Pairing.java (+1/-1)
src/dk/aau/cs/translations/tapn/BroadcastTranslation.java (+5/-5)
src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java (+7/-7)
src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java (+4/-4)
src/dk/aau/cs/translations/tapn/StandardTranslation.java (+2/-2)
src/dk/aau/cs/translations/tapn/TAPNToConservativeTAPNConverter.java (+1/-1)
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Minimal example of bug