Mixed headings in export from batch processing
Bug #1013606 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Jakob Taankvist |
Bug Description
When a csv file is exported from the batch processing, the headings of the columns are mixed up.
For example, search order contains information about the verification method etc.
Related branches
lp:~tapaal-contributor/tapaal/csvHeadings
- Kenneth Yrke Jørgensen: Approve
- Jiri Srba: Approve
-
Diff: 15 lines (+2/-2)1 file modifiedsrc/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java (+2/-2)
Changed in tapaal: | |
assignee: | nobody → Jakob Taankvist (jakob-taankvist) |
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.