Problem parsing queries in verifypn
Bug #1714499 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Peter Gjøl Jensen |
Bug Description
Try to verify the following query (-x 1) with the given pnml model.
(I include also the .xml file to be opened in the GUI).
It gives
Segmentation fault: 11
Related branches
lp:~verifypn-stub/verifypn/substraction-fix
- Jiri Srba: Approve
-
Diff: 37 lines (+20/-6)1 file modifiedPetriParse/QueryXMLParser.cpp (+20/-6)
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
The bug is triggered by multiple subtractions in the same child in the query-xml. difference> -expression -- the query-xml attached has three.
We expected exactly two children for a <integer-
I have proposed a fix st. we parse expressions like
x - y -z
into pairwise form
(x - y) - z
with special case
- x
to
0 - x