Intro-example CPN unfodling issue
Bug #1958521 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
To reproduce:
1. open intro-example (timed net)
2. make it colored by the dropdown menu at right bottom corner
3. verify the query (it shows the trace is simulation but does not do the unfolding for some reason)
4. press M (go back to editor) and now it starts talking about the unfolding dialog
Related branches
lp:~tapaal-contributor/tapaal/cpn-trace
- Jiri Srba: Approve
-
Diff: 601 lines (+74/-108)14 files modifiedsrc/dk/aau/cs/approximation/ApproximationWorker.java (+13/-9)
src/dk/aau/cs/verification/ModelChecker.java (+2/-1)
src/dk/aau/cs/verification/UPPAAL/Verifyta.java (+2/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTACPN.java (+0/-45)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPN.java (+14/-9)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+6/-6)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+2/-1)
src/net/tapaal/TAPAAL.java (+1/-1)
src/net/tapaal/gui/petrinet/TabTransformer.java (+2/-2)
src/net/tapaal/gui/petrinet/dialog/QueryDialog.java (+3/-4)
src/net/tapaal/gui/petrinet/verification/RunVerificationBase.java (+13/-8)
src/net/tapaal/gui/petrinet/verification/Verifier.java (+14/-19)
src/net/tapaal/gui/petrinet/widgets/QueryPane.java (+1/-1)
src/resources/Example nets/intro-example.tapn (+1/-1)
Changed in tapaal: | |
status: | New → In Progress |
importance: | Undecided → Critical |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
The behaviour should now be fixed. I will not open a new tab since the net does not uses any color features (unless added).