Move table-generator tests around to not other hide tests among the

integration-test files.
sosy-lab · Jan 12, 2017 · 68d2727 · 68d2727
1 parent 73dd7e7
commit 68d2727
Show file tree

Hide file tree

Showing 138 changed files with 1 addition and 1 deletion.
diff --git a/MANIFEST.in b/MANIFEST.in
@@ -5,4 +5,4 @@ recursive-include bin *
 recursive-include contrib *
 recursive-include doc *
 prune doc/example-table
-recursive-include benchexec/tablegenerator/test *.py *.xml *.xml.gz *.xml.bz2 *.log *.csv *.html *.zip
+recursive-include benchexec/tablegenerator/test_integration *.py *.xml *.xml.gz *.xml.bz2 *.log *.csv *.html *.zip
diff --git a/benchexec/tablegenerator/test/__init__.py b/benchexec/tablegenerator/test/__init__.py
diff --git a/...c/tablegenerator/test/integration_test.py → ...blegenerator/test_integration/__init__.py b/...c/tablegenerator/test/integration_test.py → ...blegenerator/test_integration/__init__.py
diff --git a/...enerator/test/expected/big-table.diff.csv → ...t_integration/expected/big-table.diff.csv b/...enerator/test/expected/big-table.diff.csv → ...t_integration/expected/big-table.diff.csv
diff --git a/...nerator/test/expected/big-table.diff.html → ..._integration/expected/big-table.diff.html b/...nerator/test/expected/big-table.diff.html → ..._integration/expected/big-table.diff.html
diff --git a/...nerator/test/expected/big-table.table.csv → ..._integration/expected/big-table.table.csv b/...nerator/test/expected/big-table.table.csv → ..._integration/expected/big-table.table.csv
diff --git a/...erator/test/expected/big-table.table.html → ...integration/expected/big-table.table.html b/...erator/test/expected/big-table.table.html → ...integration/expected/big-table.table.html
diff --git a/...d/cbmc.2015-12-11_1211.results.Simple.csv → ...d/cbmc.2015-12-11_1211.results.Simple.csv b/...d/cbmc.2015-12-11_1211.results.Simple.csv → ...d/cbmc.2015-12-11_1211.results.Simple.csv
diff --git a/.../cbmc.2015-12-11_1211.results.Simple.html → .../cbmc.2015-12-11_1211.results.Simple.html b/.../cbmc.2015-12-11_1211.results.Simple.html → .../cbmc.2015-12-11_1211.results.Simple.html
diff --git a/...xpected/multi-table-with-columns.diff.csv → ...xpected/multi-table-with-columns.diff.csv b/...xpected/multi-table-with-columns.diff.csv → ...xpected/multi-table-with-columns.diff.csv
diff --git a/...pected/multi-table-with-columns.diff.html → ...pected/multi-table-with-columns.diff.html b/...pected/multi-table-with-columns.diff.html → ...pected/multi-table-with-columns.diff.html
diff --git a/...pected/multi-table-with-columns.table.csv → ...pected/multi-table-with-columns.table.csv b/...pected/multi-table-with-columns.table.csv → ...pected/multi-table-with-columns.table.csv
diff --git a/...ected/multi-table-with-columns.table.html → ...ected/multi-table-with-columns.table.html b/...ected/multi-table-with-columns.table.html → ...ected/multi-table-with-columns.table.html
diff --git a/...ulti-table-with-diff-over-column.diff.csv → ...ulti-table-with-diff-over-column.diff.csv b/...ulti-table-with-diff-over-column.diff.csv → ...ulti-table-with-diff-over-column.diff.csv
diff --git a/...lti-table-with-diff-over-column.diff.html → ...lti-table-with-diff-over-column.diff.html b/...lti-table-with-diff-over-column.diff.html → ...lti-table-with-diff-over-column.diff.html
diff --git a/...lti-table-with-diff-over-column.table.csv → ...lti-table-with-diff-over-column.table.csv b/...lti-table-with-diff-over-column.table.csv → ...lti-table-with-diff-over-column.table.csv
diff --git a/...ti-table-with-diff-over-column.table.html → ...ti-table-with-diff-over-column.table.html b/...ti-table-with-diff-over-column.table.html → ...ti-table-with-diff-over-column.table.html
diff --git a/...ected/multi-table-with-wildcards.diff.csv → ...ected/multi-table-with-wildcards.diff.csv b/...ected/multi-table-with-wildcards.diff.csv → ...ected/multi-table-with-wildcards.diff.csv
diff --git a/...cted/multi-table-with-wildcards.diff.html → ...cted/multi-table-with-wildcards.diff.html b/...cted/multi-table-with-wildcards.diff.html → ...cted/multi-table-with-wildcards.diff.html
diff --git a/...cted/multi-table-with-wildcards.table.csv → ...cted/multi-table-with-wildcards.table.csv b/...cted/multi-table-with-wildcards.table.csv → ...cted/multi-table-with-wildcards.table.csv
diff --git a/...ted/multi-table-with-wildcards.table.html → ...ted/multi-table-with-wildcards.table.html b/...ted/multi-table-with-wildcards.table.html → ...ted/multi-table-with-wildcards.table.html
diff --git a/...erator/test/expected/multi-table.diff.csv → ...integration/expected/multi-table.diff.csv b/...erator/test/expected/multi-table.diff.csv → ...integration/expected/multi-table.diff.csv
diff --git a/...rator/test/expected/multi-table.diff.html → ...ntegration/expected/multi-table.diff.html b/...rator/test/expected/multi-table.diff.html → ...ntegration/expected/multi-table.diff.html
diff --git a/...rator/test/expected/multi-table.table.csv → ...ntegration/expected/multi-table.table.csv b/...rator/test/expected/multi-table.table.csv → ...ntegration/expected/multi-table.table.csv
diff --git a/...ator/test/expected/multi-table.table.html → ...tegration/expected/multi-table.table.html b/...ator/test/expected/multi-table.table.html → ...tegration/expected/multi-table.table.html
diff --git a/...ected/predicateAnalysis-reverse.table.csv → ...ected/predicateAnalysis-reverse.table.csv b/...ected/predicateAnalysis-reverse.table.csv → ...ected/predicateAnalysis-reverse.table.csv
diff --git a/...cted/predicateAnalysis-reverse.table.html → ...cted/predicateAnalysis-reverse.table.html b/...cted/predicateAnalysis-reverse.table.html → ...cted/predicateAnalysis-reverse.table.html
diff --git a/...test/expected/predicateAnalysis.table.csv → ...tion/expected/predicateAnalysis.table.csv b/...test/expected/predicateAnalysis.table.csv → ...tion/expected/predicateAnalysis.table.csv
diff --git a/...est/expected/predicateAnalysis.table.html → ...ion/expected/predicateAnalysis.table.html b/...est/expected/predicateAnalysis.table.html → ...ion/expected/predicateAnalysis.table.html
diff --git a/...ected/simple-table-with-columns.table.csv → ...ected/simple-table-with-columns.table.csv b/...ected/simple-table-with-columns.table.csv → ...ected/simple-table-with-columns.table.csv
diff --git a/...cted/simple-table-with-columns.table.html → ...cted/simple-table-with-columns.table.html b/...cted/simple-table-with-columns.table.html → ...cted/simple-table-with-columns.table.html
diff --git a/...xpected/simple-table-with-links.table.csv → ...xpected/simple-table-with-links.table.csv b/...xpected/simple-table-with-links.table.csv → ...xpected/simple-table-with-links.table.csv
diff --git a/...pected/simple-table-with-links.table.html → ...pected/simple-table-with-links.table.html b/...pected/simple-table-with-links.table.html → ...pected/simple-table-with-links.table.html
diff --git a/...imple-table-with-numberOfDigits.table.csv → ...imple-table-with-numberOfDigits.table.csv b/...imple-table-with-numberOfDigits.table.csv → ...imple-table-with-numberOfDigits.table.csv
diff --git a/...mple-table-with-numberOfDigits.table.html → ...mple-table-with-numberOfDigits.table.html b/...mple-table-with-numberOfDigits.table.html → ...mple-table-with-numberOfDigits.table.html
diff --git a/...ected/simple-table-with-scaling.table.csv → ...ected/simple-table-with-scaling.table.csv b/...ected/simple-table-with-scaling.table.csv → ...ected/simple-table-with-scaling.table.csv
diff --git a/...cted/simple-table-with-scaling.table.html → ...cted/simple-table-with-scaling.table.html b/...cted/simple-table-with-scaling.table.html → ...cted/simple-table-with-scaling.table.html
diff --git a/...tablegenerator/test/expected/smt.diff.csv → ...or/test_integration/expected/smt.diff.csv b/...tablegenerator/test/expected/smt.diff.csv → ...or/test_integration/expected/smt.diff.csv
diff --git a/...ablegenerator/test/expected/smt.diff.html → ...r/test_integration/expected/smt.diff.html b/...ablegenerator/test/expected/smt.diff.html → ...r/test_integration/expected/smt.diff.html
diff --git a/...ablegenerator/test/expected/smt.table.csv → ...r/test_integration/expected/smt.table.csv b/...ablegenerator/test/expected/smt.table.csv → ...r/test_integration/expected/smt.table.csv
diff --git a/...blegenerator/test/expected/smt.table.html → .../test_integration/expected/smt.table.html b/...blegenerator/test/expected/smt.table.html → .../test_integration/expected/smt.table.html
diff --git a/...ected/test-error.2015-03-03_1613.diff.csv → ...ected/test-error.2015-03-03_1613.diff.csv b/...ected/test-error.2015-03-03_1613.diff.csv → ...ected/test-error.2015-03-03_1613.diff.csv
diff --git a/...cted/test-error.2015-03-03_1613.diff.html → ...cted/test-error.2015-03-03_1613.diff.html b/...cted/test-error.2015-03-03_1613.diff.html → ...cted/test-error.2015-03-03_1613.diff.html
diff --git a/...cted/test-error.2015-03-03_1613.table.csv → ...cted/test-error.2015-03-03_1613.table.csv b/...cted/test-error.2015-03-03_1613.table.csv → ...cted/test-error.2015-03-03_1613.table.csv
diff --git a/...ted/test-error.2015-03-03_1613.table.html → ...ted/test-error.2015-03-03_1613.table.html b/...ted/test-error.2015-03-03_1613.table.html → ...ted/test-error.2015-03-03_1613.table.html
diff --git a/...cted/test.2015-03-03_1613-common.diff.csv → ...cted/test.2015-03-03_1613-common.diff.csv b/...cted/test.2015-03-03_1613-common.diff.csv → ...cted/test.2015-03-03_1613-common.diff.csv
diff --git a/...ted/test.2015-03-03_1613-common.diff.html → ...ted/test.2015-03-03_1613-common.diff.html b/...ted/test.2015-03-03_1613-common.diff.html → ...ted/test.2015-03-03_1613-common.diff.html
diff --git a/...ted/test.2015-03-03_1613-common.table.csv → ...ted/test.2015-03-03_1613-common.table.csv b/...ted/test.2015-03-03_1613-common.table.csv → ...ted/test.2015-03-03_1613-common.table.csv
diff --git a/...ed/test.2015-03-03_1613-common.table.html → ...ed/test.2015-03-03_1613-common.table.html b/...ed/test.2015-03-03_1613-common.table.html → ...ed/test.2015-03-03_1613-common.table.html
diff --git a/...est.2015-03-03_1613-correct-only.diff.csv → ...est.2015-03-03_1613-correct-only.diff.csv b/...est.2015-03-03_1613-correct-only.diff.csv → ...est.2015-03-03_1613-correct-only.diff.csv
diff --git a/...st.2015-03-03_1613-correct-only.diff.html → ...st.2015-03-03_1613-correct-only.diff.html b/...st.2015-03-03_1613-correct-only.diff.html → ...st.2015-03-03_1613-correct-only.diff.html
diff --git a/...st.2015-03-03_1613-correct-only.table.csv → ...st.2015-03-03_1613-correct-only.table.csv b/...st.2015-03-03_1613-correct-only.table.csv → ...st.2015-03-03_1613-correct-only.table.csv
diff --git a/...t.2015-03-03_1613-correct-only.table.html → ...t.2015-03-03_1613-correct-only.table.html b/...t.2015-03-03_1613-correct-only.table.html → ...t.2015-03-03_1613-correct-only.table.html
diff --git a/...ted/test.2015-03-03_1613-reverse.diff.csv → ...ted/test.2015-03-03_1613-reverse.diff.csv b/...ted/test.2015-03-03_1613-reverse.diff.csv → ...ted/test.2015-03-03_1613-reverse.diff.csv
diff --git a/...ed/test.2015-03-03_1613-reverse.diff.html → ...ed/test.2015-03-03_1613-reverse.diff.html b/...ed/test.2015-03-03_1613-reverse.diff.html → ...ed/test.2015-03-03_1613-reverse.diff.html
diff --git a/...ed/test.2015-03-03_1613-reverse.table.csv → ...ed/test.2015-03-03_1613-reverse.table.csv b/...ed/test.2015-03-03_1613-reverse.table.csv → ...ed/test.2015-03-03_1613-reverse.table.csv
diff --git a/...d/test.2015-03-03_1613-reverse.table.html → ...d/test.2015-03-03_1613-reverse.table.html b/...d/test.2015-03-03_1613-reverse.table.html → ...d/test.2015-03-03_1613-reverse.table.html
diff --git a/...st/expected/test.2015-03-03_1613.diff.csv → ...on/expected/test.2015-03-03_1613.diff.csv b/...st/expected/test.2015-03-03_1613.diff.csv → ...on/expected/test.2015-03-03_1613.diff.csv
diff --git a/...t/expected/test.2015-03-03_1613.diff.html → ...n/expected/test.2015-03-03_1613.diff.html b/...t/expected/test.2015-03-03_1613.diff.html → ...n/expected/test.2015-03-03_1613.diff.html
diff --git a/...results.predicateAnalysis.all-columns.csv → ...results.predicateAnalysis.all-columns.csv b/...results.predicateAnalysis.all-columns.csv → ...results.predicateAnalysis.all-columns.csv
diff --git a/...esults.predicateAnalysis.all-columns.html → ...esults.predicateAnalysis.all-columns.html b/...esults.predicateAnalysis.all-columns.html → ...esults.predicateAnalysis.all-columns.html
diff --git a/...esults.predicateAnalysis.correct-only.csv → ...esults.predicateAnalysis.correct-only.csv b/...esults.predicateAnalysis.correct-only.csv → ...esults.predicateAnalysis.correct-only.csv
diff --git a/...sults.predicateAnalysis.correct-only.html → ...sults.predicateAnalysis.correct-only.html b/...sults.predicateAnalysis.correct-only.html → ...sults.predicateAnalysis.correct-only.html
diff --git a/...-03-03_1613.results.predicateAnalysis.csv → ...-03-03_1613.results.predicateAnalysis.csv b/...-03-03_1613.results.predicateAnalysis.csv → ...-03-03_1613.results.predicateAnalysis.csv
diff --git a/...03-03_1613.results.predicateAnalysis.html → ...03-03_1613.results.predicateAnalysis.html b/...03-03_1613.results.predicateAnalysis.html → ...03-03_1613.results.predicateAnalysis.html
diff --git a/...2015-03-03_1613.results.valueAnalysis.csv → ...2015-03-03_1613.results.valueAnalysis.csv b/...2015-03-03_1613.results.valueAnalysis.csv → ...2015-03-03_1613.results.valueAnalysis.csv
diff --git a/...015-03-03_1613.results.valueAnalysis.html → ...015-03-03_1613.results.valueAnalysis.html b/...015-03-03_1613.results.valueAnalysis.html → ...015-03-03_1613.results.valueAnalysis.html
diff --git a/...3-03_1613.results.valueAnalysis.table.csv → ...3-03_1613.results.valueAnalysis.table.csv b/...3-03_1613.results.valueAnalysis.table.csv → ...3-03_1613.results.valueAnalysis.table.csv
diff --git a/...-03_1613.results.valueAnalysis.table.html → ...-03_1613.results.valueAnalysis.table.html b/...-03_1613.results.valueAnalysis.table.html → ...-03_1613.results.valueAnalysis.table.html
diff --git a/...t/expected/test.2015-03-03_1613.table.csv → ...n/expected/test.2015-03-03_1613.table.csv b/...t/expected/test.2015-03-03_1613.table.csv → ...n/expected/test.2015-03-03_1613.table.csv
diff --git a/.../expected/test.2015-03-03_1613.table.html → .../expected/test.2015-03-03_1613.table.html b/.../expected/test.2015-03-03_1613.table.html → .../expected/test.2015-03-03_1613.table.html
diff --git a/...ed/union-table-duplicate-results.diff.csv → ...ed/union-table-duplicate-results.diff.csv b/...ed/union-table-duplicate-results.diff.csv → ...ed/union-table-duplicate-results.diff.csv
diff --git a/...d/union-table-duplicate-results.diff.html → ...d/union-table-duplicate-results.diff.html b/...d/union-table-duplicate-results.diff.html → ...d/union-table-duplicate-results.diff.html
diff --git a/...d/union-table-duplicate-results.table.csv → ...d/union-table-duplicate-results.table.csv b/...d/union-table-duplicate-results.table.csv → ...d/union-table-duplicate-results.table.csv
diff --git a/.../union-table-duplicate-results.table.html → .../union-table-duplicate-results.table.html b/.../union-table-duplicate-results.table.html → .../union-table-duplicate-results.table.html
diff --git a/.../test/expected/union-table-mixed.diff.csv → ...ation/expected/union-table-mixed.diff.csv b/.../test/expected/union-table-mixed.diff.csv → ...ation/expected/union-table-mixed.diff.csv
diff --git a/...test/expected/union-table-mixed.diff.html → ...tion/expected/union-table-mixed.diff.html b/...test/expected/union-table-mixed.diff.html → ...tion/expected/union-table-mixed.diff.html
diff --git a/...test/expected/union-table-mixed.table.csv → ...tion/expected/union-table-mixed.table.csv b/...test/expected/union-table-mixed.table.csv → ...tion/expected/union-table-mixed.table.csv
diff --git a/...est/expected/union-table-mixed.table.html → ...ion/expected/union-table-mixed.table.html b/...est/expected/union-table-mixed.table.html → ...ion/expected/union-table-mixed.table.html
diff --git a/...ted/union-table-multiple-results.diff.csv → ...ted/union-table-multiple-results.diff.csv b/...ted/union-table-multiple-results.diff.csv → ...ted/union-table-multiple-results.diff.csv
diff --git a/...ed/union-table-multiple-results.diff.html → ...ed/union-table-multiple-results.diff.html b/...ed/union-table-multiple-results.diff.html → ...ed/union-table-multiple-results.diff.html
diff --git a/...ed/union-table-multiple-results.table.csv → ...ed/union-table-multiple-results.table.csv b/...ed/union-table-multiple-results.table.csv → ...ed/union-table-multiple-results.table.csv
diff --git a/...d/union-table-multiple-results.table.html → ...d/union-table-multiple-results.table.html b/...d/union-table-multiple-results.table.html → ...d/union-table-multiple-results.table.html
diff --git a/...d/union-table-predicateAnalysis.table.csv → ...d/union-table-predicateAnalysis.table.csv b/...d/union-table-predicateAnalysis.table.csv → ...d/union-table-predicateAnalysis.table.csv
diff --git a/.../union-table-predicateAnalysis.table.html → .../union-table-predicateAnalysis.table.html b/.../union-table-predicateAnalysis.table.html → .../union-table-predicateAnalysis.table.html
diff --git a/...ected/union-table-valueAnalysis.table.csv → ...ected/union-table-valueAnalysis.table.csv b/...ected/union-table-valueAnalysis.table.csv → ...ected/union-table-valueAnalysis.table.csv
diff --git a/...cted/union-table-valueAnalysis.table.html → ...cted/union-table-valueAnalysis.table.html b/...cted/union-table-valueAnalysis.table.html → ...cted/union-table-valueAnalysis.table.html
diff --git a/...erator/test/expected/union-table.diff.csv → ...integration/expected/union-table.diff.csv b/...erator/test/expected/union-table.diff.csv → ...integration/expected/union-table.diff.csv
diff --git a/...rator/test/expected/union-table.diff.html → ...ntegration/expected/union-table.diff.html b/...rator/test/expected/union-table.diff.html → ...ntegration/expected/union-table.diff.html
diff --git a/...rator/test/expected/union-table.table.csv → ...ntegration/expected/union-table.table.csv b/...rator/test/expected/union-table.table.csv → ...ntegration/expected/union-table.table.csv
diff --git a/...ator/test/expected/union-table.table.html → ...tegration/expected/union-table.table.html b/...ator/test/expected/union-table.table.html → ...tegration/expected/union-table.table.html
diff --git a/...nerator/test/multi-table-with-columns.xml → ..._integration/multi-table-with-columns.xml b/...nerator/test/multi-table-with-columns.xml → ..._integration/multi-table-with-columns.xml
diff --git a/...est/multi-table-with-diff-over-column.xml → ...ion/multi-table-with-diff-over-column.xml b/...est/multi-table-with-diff-over-column.xml → ...ion/multi-table-with-diff-over-column.xml
diff --git a/...rator/test/multi-table-with-wildcards.xml → ...ntegration/multi-table-with-wildcards.xml b/...rator/test/multi-table-with-wildcards.xml → ...ntegration/multi-table-with-wildcards.xml
diff --git a/...hexec/tablegenerator/test/multi-table.xml → ...enerator/test_integration/multi-table.xml b/...hexec/tablegenerator/test/multi-table.xml → ...enerator/test_integration/multi-table.xml
diff --git a/...eAnalysis.2015-10-20_1355.results.xml.bz2 → ...eAnalysis.2015-10-20_1355.results.xml.bz2 b/...eAnalysis.2015-10-20_1355.results.xml.bz2 → ...eAnalysis.2015-10-20_1355.results.xml.bz2
diff --git a/...eAnalysis.2015-10-22_1113.results.xml.bz2 → ...eAnalysis.2015-10-22_1113.results.xml.bz2 b/...eAnalysis.2015-10-22_1113.results.xml.bz2 → ...eAnalysis.2015-10-22_1113.results.xml.bz2
diff --git a/...eAnalysis.2015-10-23_1348.results.xml.bz2 → ...eAnalysis.2015-10-23_1348.results.xml.bz2 b/...eAnalysis.2015-10-23_1348.results.xml.bz2 → ...eAnalysis.2015-10-23_1348.results.xml.bz2
diff --git a/...sults/mathsat.2015-05-27_1004.results.xml → ...sults/mathsat.2015-05-27_1004.results.xml b/...sults/mathsat.2015-05-27_1004.results.xml → ...sults/mathsat.2015-05-27_1004.results.xml
diff --git a/...s/smtinterpol.2015-05-27_1004.results.xml → ...s/smtinterpol.2015-05-27_1004.results.xml b/...s/smtinterpol.2015-05-27_1004.results.xml → ...s/smtinterpol.2015-05-27_1004.results.xml
diff --git a/...-03-03_1613.results.predicateAnalysis.xml → ...-03-03_1613.results.predicateAnalysis.xml b/...-03-03_1613.results.predicateAnalysis.xml → ...-03-03_1613.results.predicateAnalysis.xml
diff --git a/...results/test.2015-03-03_1613.logfiles.zip → ...results/test.2015-03-03_1613.logfiles.zip b/...results/test.2015-03-03_1613.logfiles.zip → ...results/test.2015-03-03_1613.logfiles.zip
diff --git a/...1613.results.predicateAnalysis-legacy.xml → ...1613.results.predicateAnalysis-legacy.xml b/...1613.results.predicateAnalysis-legacy.xml → ...1613.results.predicateAnalysis-legacy.xml
diff --git a/...sults.predicateAnalysis-logfile-links.xml → ...sults.predicateAnalysis-logfile-links.xml b/...sults.predicateAnalysis-logfile-links.xml → ...sults.predicateAnalysis-logfile-links.xml
diff --git a/...3-03_1613.results.predicateAnalysis.0.xml → ...3-03_1613.results.predicateAnalysis.0.xml b/...3-03_1613.results.predicateAnalysis.0.xml → ...3-03_1613.results.predicateAnalysis.0.xml
diff --git a/...3-03_1613.results.predicateAnalysis.1.xml → ...3-03_1613.results.predicateAnalysis.1.xml b/...3-03_1613.results.predicateAnalysis.1.xml → ...3-03_1613.results.predicateAnalysis.1.xml
diff --git a/...3-03_1613.results.predicateAnalysis.2.xml → ...3-03_1613.results.predicateAnalysis.2.xml b/...3-03_1613.results.predicateAnalysis.2.xml → ...3-03_1613.results.predicateAnalysis.2.xml
diff --git a/...-03-03_1613.results.predicateAnalysis.xml → ...-03-03_1613.results.predicateAnalysis.xml b/...-03-03_1613.results.predicateAnalysis.xml → ...-03-03_1613.results.predicateAnalysis.xml
diff --git a/...03_1613.results.predicateAnalysis.xml.bz2 → ...03_1613.results.predicateAnalysis.xml.bz2 b/...03_1613.results.predicateAnalysis.xml.bz2 → ...03_1613.results.predicateAnalysis.xml.bz2
diff --git a/...-03_1613.results.predicateAnalysis.xml.gz → ...-03_1613.results.predicateAnalysis.xml.gz b/...-03_1613.results.predicateAnalysis.xml.gz → ...-03_1613.results.predicateAnalysis.xml.gz
diff --git a/...15-03-03_1613.results.valueAnalysis.0.xml → ...15-03-03_1613.results.valueAnalysis.0.xml b/...15-03-03_1613.results.valueAnalysis.0.xml → ...15-03-03_1613.results.valueAnalysis.0.xml
diff --git a/...15-03-03_1613.results.valueAnalysis.1.xml → ...15-03-03_1613.results.valueAnalysis.1.xml b/...15-03-03_1613.results.valueAnalysis.1.xml → ...15-03-03_1613.results.valueAnalysis.1.xml
diff --git a/...2015-03-03_1613.results.valueAnalysis.xml → ...2015-03-03_1613.results.valueAnalysis.xml b/...2015-03-03_1613.results.valueAnalysis.xml → ...2015-03-03_1613.results.valueAnalysis.xml
diff --git a/...s.builtin_expect_true-unreach-label.c.log → ...s.builtin_expect_true-unreach-label.c.log b/...s.builtin_expect_true-unreach-label.c.log → ...s.builtin_expect_true-unreach-label.c.log
diff --git a/....compoundLiteral_true-unreach-label.c.log → ....compoundLiteral_true-unreach-label.c.log b/....compoundLiteral_true-unreach-label.c.log → ....compoundLiteral_true-unreach-label.c.log
diff --git a/....logfiles/predicateAnalysis.example.c.log → ....logfiles/predicateAnalysis.example.c.log b/....logfiles/predicateAnalysis.example.c.log → ....logfiles/predicateAnalysis.example.c.log
diff --git a/...ignedconversion_false-unreach-label.i.log → ...ignedconversion_false-unreach-label.i.log b/...ignedconversion_false-unreach-label.i.log → ...ignedconversion_false-unreach-label.i.log
diff --git a/...ult_fallthrough_false-unreach-label.c.log → ...ult_fallthrough_false-unreach-label.c.log b/...ult_fallthrough_false-unreach-label.c.log → ...ult_fallthrough_false-unreach-label.c.log
diff --git a/....compoundLiteral_true-unreach-label.c.log → ....compoundLiteral_true-unreach-label.c.log b/....compoundLiteral_true-unreach-label.c.log → ....compoundLiteral_true-unreach-label.c.log
diff --git a/...1815.logfiles/valueAnalysis.example.c.log → ...1815.logfiles/valueAnalysis.example.c.log b/...1815.logfiles/valueAnalysis.example.c.log → ...1815.logfiles/valueAnalysis.example.c.log
diff --git a/...ignedconversion_false-unreach-label.i.log → ...ignedconversion_false-unreach-label.i.log b/...ignedconversion_false-unreach-label.i.log → ...ignedconversion_false-unreach-label.i.log
diff --git a/...ult_fallthrough_false-unreach-label.c.log → ...ult_fallthrough_false-unreach-label.c.log b/...ult_fallthrough_false-unreach-label.c.log → ...ult_fallthrough_false-unreach-label.c.log
diff --git a/...-03-03_1815.results.predicateAnalysis.xml → ...-03-03_1815.results.predicateAnalysis.xml b/...-03-03_1815.results.predicateAnalysis.xml → ...-03-03_1815.results.predicateAnalysis.xml
diff --git a/...2015-03-03_1815.results.valueAnalysis.xml → ...2015-03-03_1815.results.valueAnalysis.xml b/...2015-03-03_1815.results.valueAnalysis.xml → ...2015-03-03_1815.results.valueAnalysis.xml
diff --git a/...erator/test/simple-table-with-columns.xml → ...integration/simple-table-with-columns.xml b/...erator/test/simple-table-with-columns.xml → ...integration/simple-table-with-columns.xml
diff --git a/...enerator/test/simple-table-with-links.xml → ...t_integration/simple-table-with-links.xml b/...enerator/test/simple-table-with-links.xml → ...t_integration/simple-table-with-links.xml
diff --git a/...test/simple-table-with-numberOfDigits.xml → ...tion/simple-table-with-numberOfDigits.xml b/...test/simple-table-with-numberOfDigits.xml → ...tion/simple-table-with-numberOfDigits.xml
diff --git a/...erator/test/simple-table-with-scaling.xml → ...integration/simple-table-with-scaling.xml b/...erator/test/simple-table-with-scaling.xml → ...integration/simple-table-with-scaling.xml
diff --git a/...exec/tablegenerator/test/simple-table.xml → ...nerator/test_integration/simple-table.xml b/...exec/tablegenerator/test/simple-table.xml → ...nerator/test_integration/simple-table.xml
diff --git a/benchexec/tablegenerator/test/smt.xml → ...c/tablegenerator/test_integration/smt.xml b/benchexec/tablegenerator/test/smt.xml → ...c/tablegenerator/test_integration/smt.xml
diff --git a/...or/test/union-table-duplicate-results.xml → ...gration/union-table-duplicate-results.xml b/...or/test/union-table-duplicate-results.xml → ...gration/union-table-duplicate-results.xml
diff --git a/...tablegenerator/test/union-table-mixed.xml → ...or/test_integration/union-table-mixed.xml b/...tablegenerator/test/union-table-mixed.xml → ...or/test_integration/union-table-mixed.xml
diff --git a/...tor/test/union-table-multiple-results.xml → ...egration/union-table-multiple-results.xml b/...tor/test/union-table-multiple-results.xml → ...egration/union-table-multiple-results.xml
diff --git a/...or/test/union-table-predicateAnalysis.xml → ...gration/union-table-predicateAnalysis.xml b/...or/test/union-table-predicateAnalysis.xml → ...gration/union-table-predicateAnalysis.xml
diff --git a/...erator/test/union-table-valueAnalysis.xml → ...integration/union-table-valueAnalysis.xml b/...erator/test/union-table-valueAnalysis.xml → ...integration/union-table-valueAnalysis.xml
diff --git a/...hexec/tablegenerator/test/union-table.xml → ...enerator/test_integration/union-table.xml b/...hexec/tablegenerator/test/union-table.xml → ...enerator/test_integration/union-table.xml
diff --git a/.../tablegenerator/test/test_numberformat.py → ...hexec/tablegenerator/test_numberformat.py b/.../tablegenerator/test/test_numberformat.py → ...hexec/tablegenerator/test_numberformat.py
diff --git a/...xec/tablegenerator/test/test_statvalue.py → benchexec/tablegenerator/test_statvalue.py b/...xec/tablegenerator/test/test_statvalue.py → benchexec/tablegenerator/test_statvalue.py