chore(test): rename the test directory so that leanpkg will find it

leanprover-community · Jan 29, 2019 · a8e7f32 · a8e7f32
1 parent 54f4b29
commit a8e7f32
Show file tree

Hide file tree

Showing 18 changed files with 0 additions and 0 deletions.
diff --git a/tests/coinductive.lean → test/tests/coinductive.lean b/tests/coinductive.lean → test/tests/coinductive.lean
diff --git a/tests/examples.lean → test/tests/examples.lean b/tests/examples.lean → test/tests/examples.lean
diff --git a/tests/fin_cases.lean → test/tests/fin_cases.lean b/tests/fin_cases.lean → test/tests/fin_cases.lean
diff --git a/tests/finish1.lean → test/tests/finish1.lean b/tests/finish1.lean → test/tests/finish1.lean
diff --git a/tests/finish2.lean → test/tests/finish2.lean b/tests/finish2.lean → test/tests/finish2.lean
diff --git a/tests/finish3.lean → test/tests/finish3.lean b/tests/finish3.lean → test/tests/finish3.lean
diff --git a/tests/linarith.lean → test/tests/linarith.lean b/tests/linarith.lean → test/tests/linarith.lean
diff --git a/tests/mk_iff_of_inductive.lean → test/tests/mk_iff_of_inductive.lean b/tests/mk_iff_of_inductive.lean → test/tests/mk_iff_of_inductive.lean
diff --git a/tests/monotonicity.lean → test/tests/monotonicity.lean b/tests/monotonicity.lean → test/tests/monotonicity.lean
diff --git a/tests/monotonicity/test_cases.lean → test/tests/monotonicity/test_cases.lean b/tests/monotonicity/test_cases.lean → test/tests/monotonicity/test_cases.lean
diff --git a/tests/norm_num.lean → test/tests/norm_num.lean b/tests/norm_num.lean → test/tests/norm_num.lean
diff --git a/tests/replacer.lean → test/tests/replacer.lean b/tests/replacer.lean → test/tests/replacer.lean
diff --git a/tests/restate_axiom.lean → test/tests/restate_axiom.lean b/tests/restate_axiom.lean → test/tests/restate_axiom.lean
diff --git a/tests/ring.lean → test/tests/ring.lean b/tests/ring.lean → test/tests/ring.lean
diff --git a/tests/solve_by_elim.lean → test/tests/solve_by_elim.lean b/tests/solve_by_elim.lean → test/tests/solve_by_elim.lean
diff --git a/tests/split_ifs.lean → test/tests/split_ifs.lean b/tests/split_ifs.lean → test/tests/split_ifs.lean
diff --git a/tests/tactics.lean → test/tests/tactics.lean b/tests/tactics.lean → test/tests/tactics.lean
diff --git a/tests/tidy.lean → test/tests/tidy.lean b/tests/tidy.lean → test/tests/tidy.lean