From bfe08683bd033ca1547e9353968cc4302362df51 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 13 Jan 2017 17:29:40 +0100
Subject: [PATCH] rename tests -> examples
---
_CoqProject | 14 +++++++-------
theories/typing/{tests => examples}/get_x.v | 0
theories/typing/{tests => examples}/init_prod.v | 0
theories/typing/{tests => examples}/lazy_lft.v | 0
.../typing/{tests => examples}/option_as_mut.v | 0
theories/typing/{tests => examples}/rebor.v | 0
theories/typing/{tests => examples}/unbox.v | 0
theories/typing/{tests => examples}/unwrap_or.v | 0
8 files changed, 7 insertions(+), 7 deletions(-)
rename theories/typing/{tests => examples}/get_x.v (100%)
rename theories/typing/{tests => examples}/init_prod.v (100%)
rename theories/typing/{tests => examples}/lazy_lft.v (100%)
rename theories/typing/{tests => examples}/option_as_mut.v (100%)
rename theories/typing/{tests => examples}/rebor.v (100%)
rename theories/typing/{tests => examples}/unbox.v (100%)
rename theories/typing/{tests => examples}/unwrap_or.v (100%)
diff --git a/_CoqProject b/_CoqProject
index 4de595c5..f07602d4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -45,11 +45,11 @@ theories/typing/fixpoint.v
theories/typing/type_sum.v
theories/typing/typing.v
theories/typing/soundness.v
-theories/typing/tests/get_x.v
-theories/typing/tests/rebor.v
-theories/typing/tests/unbox.v
-theories/typing/tests/init_prod.v
-theories/typing/tests/option_as_mut.v
-theories/typing/tests/unwrap_or.v
-theories/typing/tests/lazy_lft.v
+theories/typing/examples/get_x.v
+theories/typing/examples/rebor.v
+theories/typing/examples/unbox.v
+theories/typing/examples/init_prod.v
+theories/typing/examples/option_as_mut.v
+theories/typing/examples/unwrap_or.v
+theories/typing/examples/lazy_lft.v
theories/typing/unsafe/cell.v
diff --git a/theories/typing/tests/get_x.v b/theories/typing/examples/get_x.v
similarity index 100%
rename from theories/typing/tests/get_x.v
rename to theories/typing/examples/get_x.v
diff --git a/theories/typing/tests/init_prod.v b/theories/typing/examples/init_prod.v
similarity index 100%
rename from theories/typing/tests/init_prod.v
rename to theories/typing/examples/init_prod.v
diff --git a/theories/typing/tests/lazy_lft.v b/theories/typing/examples/lazy_lft.v
similarity index 100%
rename from theories/typing/tests/lazy_lft.v
rename to theories/typing/examples/lazy_lft.v
diff --git a/theories/typing/tests/option_as_mut.v b/theories/typing/examples/option_as_mut.v
similarity index 100%
rename from theories/typing/tests/option_as_mut.v
rename to theories/typing/examples/option_as_mut.v
diff --git a/theories/typing/tests/rebor.v b/theories/typing/examples/rebor.v
similarity index 100%
rename from theories/typing/tests/rebor.v
rename to theories/typing/examples/rebor.v
diff --git a/theories/typing/tests/unbox.v b/theories/typing/examples/unbox.v
similarity index 100%
rename from theories/typing/tests/unbox.v
rename to theories/typing/examples/unbox.v
diff --git a/theories/typing/tests/unwrap_or.v b/theories/typing/examples/unwrap_or.v
similarity index 100%
rename from theories/typing/tests/unwrap_or.v
rename to theories/typing/examples/unwrap_or.v
--
GitLab