Random search is deterministic
Bug #1707912 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Unassigned |
Bug Description
The random search in the untimed engine (tested with inhib branch)
seems to always start from the same seed and then it always explores
the same search order (the number of discovered markings is always
identical). The other two engines return always difference numbers of
explored markings (provided the EF query is satisfied), so this is the
issue only with verifypn.
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.