Running verification on windows creates a file named "null" in package dir
Bug #1947576 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Undecided
|
Unassigned | ||
Bug Description
To reproduce:
- download tapaal 3.8 or 3.9
- unzip and run tapaal
- open example net and run query
The exstracted folder now contains a file called "null" that seems to contain the net exported to the verifier
To post a comment you must log in.
