Place statistics for verifydtapn seems wrong
Bug #1847802 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Critical
|
Unassigned | ||
Bug Description
Open intro example and run the query and check place statistics - for some places
like e.g. the initial one it returns "Unknown" but the answer should be obviously 1.
To post a comment you must log in.
