Update GUI in trunk with reductions rules A,B,C,D,E
Bug #1648084 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Mads Johannsen |
Bug Description
The new NewParser engine now uses 5 verification rules, A, B, C, D, E
but the GUI parser and reports in the verification result only the rules A, B, C, D.
This should be fixed so that all 5 rules are reported correctly.
Related branches
lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084
- Jiri Srba: Approve
-
Diff: 89 lines (+18/-3)2 files modifiedsrc/dk/aau/cs/verification/ReductionStats.java (+10/-2)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOutputParser.java (+8/-1)
Changed in tapaal: | |
assignee: | nobody → Mads Johannsen (mjohan12) |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.