TAPAAL

Merge lp:~tapaal-contributor/tapaal/csvHeadings into lp:tapaal/2.1

  1. csvHeadings
  2. Merge into 2.1
Proposed by Jakob Taankvist
Status: Merged
Approved by: Kenneth Yrke Jørgensen
Approved revision: 708
Merged at revision: 708
Proposed branch: lp:~tapaal-contributor/tapaal/csvHeadings
Merge into: lp:tapaal/2.1
Diff against target: 15 lines (+2/-2)
1 file modified
src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java (+2/-2)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/csvHeadings
Reviewer Review Type Date Requested Status
Kenneth Yrke Jørgensen Approve
Jiri Srba Approve
Review via email: mp+113511@code.launchpad.net

Commit message

The headers of exported csv-files is now in the correct order

Description of the change

The headers of exported csv-files is now in the correct order

To post a comment you must log in.
lp:~tapaal-contributor/tapaal/csvHeadings updated
708. By Jakob Taankvist

The headers of exproted csv-files is now in the correct order

Revision history for this message
Jiri Srba (srba) :
review: Approve
Revision history for this message
Kenneth Yrke Jørgensen (yrke) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java'
2--- src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java 2011-10-27 20:01:56 +0000
3+++ src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java 2012-07-05 08:07:21 +0000
4@@ -32,9 +32,9 @@
5 "Stored States" + DELIMITER +
6 "Query Property" + DELIMITER +
7 "Extra Tokens" + DELIMITER +
8- "Search Order" + DELIMITER +
9+ "Verification Method" + DELIMITER +
10 "Symmetry" + DELIMITER +
11- "Verification Method");
12+ "Search Order");
13
14 for(BatchProcessingVerificationResult result : results) {
15 TAPNQuery query = result.query();

Subscribers

People subscribed via source and target branches