chore(*): disable test suite

2018-04-10 12:56:55 -07:00 · 2018-04-10 12:56:55 -07:00 · 6234c60aae
commit 6234c60aae
parent 47cd2ee61a
1752 changed files with 471 additions and 3 deletions
--- a/old_tests/tests/.gitignore
+++ b/old_tests/tests/.gitignore
--- a/old_tests/tests/lean/.gitignore
+++ b/old_tests/tests/lean/.gitignore
--- a/old_tests/tests/lean/1162.lean
+++ b/old_tests/tests/lean/1162.lean
--- a/old_tests/tests/lean/1162.lean.expected.out
+++ b/old_tests/tests/lean/1162.lean.expected.out
--- a/old_tests/tests/lean/1207.lean
+++ b/old_tests/tests/lean/1207.lean
--- a/old_tests/tests/lean/1207.lean.expected.out
+++ b/old_tests/tests/lean/1207.lean.expected.out
--- a/old_tests/tests/lean/1258.lean
+++ b/old_tests/tests/lean/1258.lean
--- a/old_tests/tests/lean/1258.lean.expected.out
+++ b/old_tests/tests/lean/1258.lean.expected.out
--- a/old_tests/tests/lean/1277.lean
+++ b/old_tests/tests/lean/1277.lean
--- a/old_tests/tests/lean/1277.lean.expected.out
+++ b/old_tests/tests/lean/1277.lean.expected.out
--- a/old_tests/tests/lean/1279.lean
+++ b/old_tests/tests/lean/1279.lean
--- a/old_tests/tests/lean/1279.lean.expected.out
+++ b/old_tests/tests/lean/1279.lean.expected.out
--- a/old_tests/tests/lean/1290.lean
+++ b/old_tests/tests/lean/1290.lean
--- a/old_tests/tests/lean/1290.lean.expected.out
+++ b/old_tests/tests/lean/1290.lean.expected.out
--- a/old_tests/tests/lean/1292.lean
+++ b/old_tests/tests/lean/1292.lean
--- a/old_tests/tests/lean/1292.lean.expected.out
+++ b/old_tests/tests/lean/1292.lean.expected.out
--- a/old_tests/tests/lean/1293.lean
+++ b/old_tests/tests/lean/1293.lean
--- a/old_tests/tests/lean/1293.lean.expected.out
+++ b/old_tests/tests/lean/1293.lean.expected.out
--- a/old_tests/tests/lean/1299.lean
+++ b/old_tests/tests/lean/1299.lean
--- a/old_tests/tests/lean/1299.lean.expected.out
+++ b/old_tests/tests/lean/1299.lean.expected.out
--- a/old_tests/tests/lean/1327.lean
+++ b/old_tests/tests/lean/1327.lean
--- a/old_tests/tests/lean/1327.lean.expected.out
+++ b/old_tests/tests/lean/1327.lean.expected.out
--- a/old_tests/tests/lean/1334a.lean
+++ b/old_tests/tests/lean/1334a.lean
--- a/old_tests/tests/lean/1334a.lean.expected.out
+++ b/old_tests/tests/lean/1334a.lean.expected.out
--- a/old_tests/tests/lean/1334b.lean
+++ b/old_tests/tests/lean/1334b.lean
--- a/old_tests/tests/lean/1334b.lean.expected.out
+++ b/old_tests/tests/lean/1334b.lean.expected.out
--- a/old_tests/tests/lean/1369.lean
+++ b/old_tests/tests/lean/1369.lean
--- a/old_tests/tests/lean/1369.lean.expected.out
+++ b/old_tests/tests/lean/1369.lean.expected.out
--- a/old_tests/tests/lean/1467.lean
+++ b/old_tests/tests/lean/1467.lean
--- a/old_tests/tests/lean/1467.lean.expected.out
+++ b/old_tests/tests/lean/1467.lean.expected.out
--- a/old_tests/tests/lean/1487.lean
+++ b/old_tests/tests/lean/1487.lean
--- a/old_tests/tests/lean/1487.lean.expected.out
+++ b/old_tests/tests/lean/1487.lean.expected.out
--- a/old_tests/tests/lean/1513.lean
+++ b/old_tests/tests/lean/1513.lean
--- a/old_tests/tests/lean/1513.lean.expected.out
+++ b/old_tests/tests/lean/1513.lean.expected.out
--- a/old_tests/tests/lean/1598.lean
+++ b/old_tests/tests/lean/1598.lean
--- a/old_tests/tests/lean/1598.lean.expected.out
+++ b/old_tests/tests/lean/1598.lean.expected.out
--- a/old_tests/tests/lean/1603.lean
+++ b/old_tests/tests/lean/1603.lean
--- a/old_tests/tests/lean/1603.lean.expected.out
+++ b/old_tests/tests/lean/1603.lean.expected.out
--- a/old_tests/tests/lean/1638.lean
+++ b/old_tests/tests/lean/1638.lean
--- a/old_tests/tests/lean/1638.lean.expected.out
+++ b/old_tests/tests/lean/1638.lean.expected.out
--- a/old_tests/tests/lean/1639.lean
+++ b/old_tests/tests/lean/1639.lean
--- a/old_tests/tests/lean/1639.lean.expected.out
+++ b/old_tests/tests/lean/1639.lean.expected.out
--- a/old_tests/tests/lean/1669.lean
+++ b/old_tests/tests/lean/1669.lean
--- a/old_tests/tests/lean/1669.lean.expected.out
+++ b/old_tests/tests/lean/1669.lean.expected.out
--- a/old_tests/tests/lean/1723.lean
+++ b/old_tests/tests/lean/1723.lean
--- a/old_tests/tests/lean/1723.lean.expected.out
+++ b/old_tests/tests/lean/1723.lean.expected.out
--- a/old_tests/tests/lean/1745.lean
+++ b/old_tests/tests/lean/1745.lean
--- a/old_tests/tests/lean/1745.lean.expected.out
+++ b/old_tests/tests/lean/1745.lean.expected.out
--- a/old_tests/tests/lean/1760.lean
+++ b/old_tests/tests/lean/1760.lean
--- a/old_tests/tests/lean/1760.lean.expected.out
+++ b/old_tests/tests/lean/1760.lean.expected.out
--- a/old_tests/tests/lean/1766.lean
+++ b/old_tests/tests/lean/1766.lean
--- a/old_tests/tests/lean/1766.lean.expected.out
+++ b/old_tests/tests/lean/1766.lean.expected.out
--- a/old_tests/tests/lean/1786.lean
+++ b/old_tests/tests/lean/1786.lean
--- a/old_tests/tests/lean/1786.lean.expected.out
+++ b/old_tests/tests/lean/1786.lean.expected.out
--- a/old_tests/tests/lean/1794.lean
+++ b/old_tests/tests/lean/1794.lean
--- a/old_tests/tests/lean/1794.lean.expected.out
+++ b/old_tests/tests/lean/1794.lean.expected.out
--- a/old_tests/tests/lean/1814.lean
+++ b/old_tests/tests/lean/1814.lean
--- a/old_tests/tests/lean/1814.lean.expected.out
+++ b/old_tests/tests/lean/1814.lean.expected.out
--- a/old_tests/tests/lean/1817.lean
+++ b/old_tests/tests/lean/1817.lean
--- a/old_tests/tests/lean/1817.lean.expected.out
+++ b/old_tests/tests/lean/1817.lean.expected.out
--- a/old_tests/tests/lean/1836.lean
+++ b/old_tests/tests/lean/1836.lean
--- a/old_tests/tests/lean/1836.lean.expected.out
+++ b/old_tests/tests/lean/1836.lean.expected.out
--- a/old_tests/tests/lean/1859.lean
+++ b/old_tests/tests/lean/1859.lean
--- a/old_tests/tests/lean/1859.lean.expected.out
+++ b/old_tests/tests/lean/1859.lean.expected.out
--- a/old_tests/tests/lean/1860.lean
+++ b/old_tests/tests/lean/1860.lean
--- a/old_tests/tests/lean/1860.lean.expected.out
+++ b/old_tests/tests/lean/1860.lean.expected.out
--- a/old_tests/tests/lean/1861.lean
+++ b/old_tests/tests/lean/1861.lean
--- a/old_tests/tests/lean/1861.lean.expected.out
+++ b/old_tests/tests/lean/1861.lean.expected.out
--- a/old_tests/tests/lean/1862.lean
+++ b/old_tests/tests/lean/1862.lean
--- a/old_tests/tests/lean/1862.lean.expected.out
+++ b/old_tests/tests/lean/1862.lean.expected.out
--- a/old_tests/tests/lean/1870.lean
+++ b/old_tests/tests/lean/1870.lean
--- a/old_tests/tests/lean/1870.lean.expected.out
+++ b/old_tests/tests/lean/1870.lean.expected.out
--- a/old_tests/tests/lean/1898.lean
+++ b/old_tests/tests/lean/1898.lean
--- a/old_tests/tests/lean/1898.lean.expected.out
+++ b/old_tests/tests/lean/1898.lean.expected.out
--- a/old_tests/tests/lean/1917.lean
+++ b/old_tests/tests/lean/1917.lean
--- a/old_tests/tests/lean/1917.lean.expected.out
+++ b/old_tests/tests/lean/1917.lean.expected.out
--- a/old_tests/tests/lean/1922.lean
+++ b/old_tests/tests/lean/1922.lean
--- a/old_tests/tests/lean/1922.lean.expected.out
+++ b/old_tests/tests/lean/1922.lean.expected.out
--- a/old_tests/tests/lean/1930.lean
+++ b/old_tests/tests/lean/1930.lean
--- a/old_tests/tests/lean/1930.lean.expected.out
+++ b/old_tests/tests/lean/1930.lean.expected.out
--- a/old_tests/tests/lean/1952.lean
+++ b/old_tests/tests/lean/1952.lean
--- a/old_tests/tests/lean/1952.lean.expected.out
+++ b/old_tests/tests/lean/1952.lean.expected.out
--- a/old_tests/tests/lean/1952b.lean
+++ b/old_tests/tests/lean/1952b.lean
--- a/old_tests/tests/lean/1952b.lean.expected.out
+++ b/old_tests/tests/lean/1952b.lean.expected.out
--- a/old_tests/tests/lean/584a.lean
+++ b/old_tests/tests/lean/584a.lean
--- a/old_tests/tests/lean/584a.lean.expected.out
+++ b/old_tests/tests/lean/584a.lean.expected.out
--- a/old_tests/tests/lean/584b.lean
+++ b/old_tests/tests/lean/584b.lean
--- a/old_tests/tests/lean/584b.lean.expected.out
+++ b/old_tests/tests/lean/584b.lean.expected.out
--- a/old_tests/tests/lean/584c.lean
+++ b/old_tests/tests/lean/584c.lean
--- a/old_tests/tests/lean/584c.lean.expected.out
+++ b/old_tests/tests/lean/584c.lean.expected.out
--- a/old_tests/tests/lean/634.lean
+++ b/old_tests/tests/lean/634.lean
--- a/old_tests/tests/lean/634.lean.expected.out
+++ b/old_tests/tests/lean/634.lean.expected.out
--- a/old_tests/tests/lean/634b.lean
+++ b/old_tests/tests/lean/634b.lean
--- a/old_tests/tests/lean/634b.lean.expected.out
+++ b/old_tests/tests/lean/634b.lean.expected.out
--- a/old_tests/tests/lean/634c.lean
+++ b/old_tests/tests/lean/634c.lean
--- a/old_tests/tests/lean/634c.lean.expected.out
+++ b/old_tests/tests/lean/634c.lean.expected.out
--- a/old_tests/tests/lean/634d.lean
+++ b/old_tests/tests/lean/634d.lean
--- a/old_tests/tests/lean/634d.lean.expected.out
+++ b/old_tests/tests/lean/634d.lean.expected.out
--- a/old_tests/tests/lean/652.lean
+++ b/old_tests/tests/lean/652.lean
--- a/old_tests/tests/lean/652.lean.expected.out
+++ b/old_tests/tests/lean/652.lean.expected.out
--- a/Show more
+++ b/Show more