A try at mutation testing

MetaCoq · Jul 16, 2019 · 5c16f2b · 5c16f2b
1 parent f6c85f8
commit 5c16f2b
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 101 deletions.
diff --git a/template-coq/Makefile b/template-coq/Makefile
@@ -1,4 +1,4 @@
-all: coq plugin
+all: coq # plugin
 
 coq: Makefile.coq
 	$(MAKE) -f Makefile.coq

diff --git a/template-coq/test-plugin/test.v b/template-coq/test-plugin/test.v
diff --git a/template-coq/theories/All.v b/template-coq/theories/All.v
@@ -8,7 +8,7 @@ From MetaCoq.Template Require Export
      uGraph        (* The graph of universes *)
      TemplateMonad (* The TemplateMonad *)
      AstUtils      (* Utilities on the AST *)
-     Loader        (* Declaration of the Template Coq plugin *)
+     (* Loader        (* Declaration of the Template Coq plugin *) *)
      Induction     (* Induction *)
      LiftSubst     (* Lifting and substitution for terms *)
      UnivSubst     (* Substitution of universe instances *)

diff --git a/template-coq/theories/Extraction.v b/template-coq/theories/Extraction.v
diff --git a/template-coq/theories/Loader.v b/template-coq/theories/Loader.v
diff --git a/template-coq/theories/Validity.v b/template-coq/theories/Validity.v