lp:~tapaal-contributor/tapaal/wrongVerificationAnswers-bug1031666

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 726

Jiri Srba: Approve on 2012-08-01

Kenneth Yrke Jørgensen: Approve on 2012-08-01

Diff: 62 lines (+8/-7)

3 files modified

src/dk/aau/cs/verification/QueryResult.java (+2/-2)
src/dk/aau/cs/verification/UPPAAL/UppaalIconSelector.java (+4/-3)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNIconSelector.java (+2/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1031666: Wrong verification answer

Critical

Fix Released

Link a bug report

Related blueprints

727. By Jiri Srba on 2012-08-01

fixes a problem for IconSelector for UPPAAL model.

726. By Jiri Srba on 2012-08-01

Fixed a problem with wrong interpretation of answers in the GUI for EG and AF queries.

725. By Jiri Srba on 2012-08-01

Swapped verification answer is fixed - bug #1031303 . by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

724. By Jiri Srba on 2012-08-01

removed unnecessary @Override

723. By Jiri Srba on 2012-08-01

updated the credits in About menu

722. By Jiri Srba on 2012-08-01

Swapped the role of arrows in the simulation mode. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

721. By Mathias Grund Sørensen on 2012-07-27

 by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

720. By Mathias Grund Sørensen on 2012-07-27

 by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

719. By Mathias Grund Sørensen on 2012-07-25

 by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

718. By Jakob Taankvist on 2012-07-15

Adds support for the new discrete engine, This includes traces for liveness and weights by TAPAAL Contributors review by Jiri Srba approved by Kenneth Yrke Jørgensen, Jiri Srba