GUI passes constants to verifydtapn
Bug #2046038 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the attached net and verify the query, the engine gives an error because the GUI
sends it as invariants and time intervals expressions that contain constant names (these
are not supported by the engine and the GUI should replace them with the concrete integers
before sending to the engine. In fact, it does so correctly if the constants are used
as the default age invariants or default time intervals but not when they are used
as color speficic age invariants and time intervals (as shown in the attached net).
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.