Export verifytaPN XML does not include "discrete inclusion" options
Bug #856347 reported by
mhm
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Confirmed
|
Wishlist
|
Unassigned | ||
Bug Description
I you try to export verifytapn XML from the query dialog, the query file does not include information about the Discrete Inclusion options.
| Changed in tapaal: | |
| milestone: | none → 2.1 |
| importance: | Undecided → Medium |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| milestone: | 2.1 → 2.2 |
| importance: | Medium → Wishlist |
| status: | New → Confirmed |
To post a comment you must log in.
It is a command line option where you specify the inclusion places, but it could be a good idea to export the query that already contains the inclusion places in its description and parse it.