add/remove all orphan tests

LPCIC · Apr 26, 2018 · bc3c256 · bc3c256
1 parent b910863
commit bc3c256
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 46 deletions.
diff --git a/bench/jobs/elpi/ok/discard.elpi b/bench/jobs/elpi/ok/discard.elpi
@@ -0,0 +1 @@
+../../../sources/discard.elpi
diff --git a/bench/jobs/elpi/ok/notation.elpi b/bench/jobs/elpi/ok/notation.elpi
@@ -0,0 +1 @@
+../../../sources/notation.elpi
diff --git a/bench/jobs/elpi/ok/pnf.elpi b/bench/jobs/elpi/ok/pnf.elpi
@@ -0,0 +1 @@
+../../../sources/pnf.elpi
diff --git a/bench/jobs/elpi/ok/polymorphic_variants.elpi b/bench/jobs/elpi/ok/polymorphic_variants.elpi
@@ -0,0 +1 @@
+../../../sources/polymorphic_variants.elpi
diff --git a/bench/sources/hardindex.elpi b/bench/sources/hardindex.elpi
diff --git a/bench/sources/lexer.elpi b/bench/sources/lexer.elpi