inconsistent batch processing answers
Bug #2046829 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 two queries - both give the answer FALSE.
Then load the net into batch processing (under Tools) and run the verification (press "start"). Now both queries verify as TRUE (which is probably wrong).
The switches to the engine are the same but it seems that the model/query file passed to the engine to the batch processing are not the same as if called from the query dialog. There is probobably an issue what mode/query file is passed to the engine when called from batch processing.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.