Some examples verfication is broken
Bug #2006132 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
for example web-server, and producer consumer have some broken query verification (some problems seems to be connected to trace generation for verifytapn engine).
For example web-server query generates a trace, but the GUI does not display it (in cpn-branch). In 3.9 it also fails.
There might be some other issues with the example models, both with 3.9 and in cpn-branch.
Related branches
lp:~tapaal-contributor/tapaal/fix_trace_verifytapn
- Jiri Srba: Approve
-
Diff: 870 lines (+326/-267)12 files modifiedsrc/dk/aau/cs/TCTL/visitors/LTLQueryVisitor.java (+4/-0)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+11/-39)
src/dk/aau/cs/verification/TAPNComposer.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java (+44/-2)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+15/-13)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java (+108/-108)
src/pipe/gui/Export.java (+1/-1)
src/pipe/gui/Pipe.java (+1/-1)
src/resources/Example nets/producer-consumer.tapn (+32/-6)
src/resources/Example nets/workflow-advanced.tapn (+107/-94)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
Btw. in 3.8 all seems to work fine.