Skip to content

Commit 1ebfe9e

Browse files
rlepigrerlepigre
committed
Turn the examples into tests.
1 parent 1ee3d6a commit 1ebfe9e

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+6798
-5484
lines changed

‎_CoqProject

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,3 +108,17 @@
108108
-Q tests/API.t elpi.test
109109
-Q tests/ctx_cache.t elpi.test
110110
-Q tests/API_TC_CS.t elpi.test
111+
-Q tests/example_abs_evars.t elpi.test
112+
-Q tests/example_curry_howard_tactics.t elpi.test
113+
-Q tests/example_data_base.t elpi.test
114+
-Q tests/example_fuzzer.t elpi.test
115+
-Q tests/example_generalize.t elpi.test
116+
-Q tests/example_import_projections.t elpi.test
117+
-Q tests/example_record_expansion.t elpi.test
118+
-Q tests/example_record_to_sigma.t elpi.test
119+
-Q tests/example_reduction_surgery.t elpi.test
120+
-Q tests/example_reflexive_tactic.t elpi.test
121+
-Q tests/tutorial_coq_elpi_command.t elpi.test
122+
-Q tests/tutorial_coq_elpi_HOAS.t elpi.test
123+
-Q tests/tutorial_coq_elpi_tactic.t elpi.test
124+
-Q tests/tutorial_elpi_lang.t elpi.test

‎examples/dune

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎examples/example_abs_evars.v

Lines changed: 0 additions & 117 deletions
This file was deleted.

‎examples/example_abs_evars.v

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../tests/example_abs_evars.t/test.v

‎examples/example_curry_howard_tactics.v

Lines changed: 0 additions & 90 deletions
This file was deleted.

‎examples/example_curry_howard_tactics.v

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../tests/example_curry_howard_tactics.t/test.v

‎examples/example_data_base.v

Lines changed: 0 additions & 93 deletions
This file was deleted.

‎examples/example_data_base.v

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../tests/example_data_base.t/test.v

0 commit comments

Comments
 (0)