From bee51985d67c7217f0b60ca37295972015dd64eb Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Jun 2011 13:39:47 +0000 Subject: Add etc/coq/parsingcheck-410.v to executed files --- coq/coq-autotest.el | 3 +++ 1 file changed, 3 insertions(+) (limited to 'coq/coq-autotest.el') diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index df91010d..d0585c89 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -32,6 +32,9 @@ (pg-autotest script-wholefile "coq/example-tokens.v") (pg-autotest script-wholefile "coq/ex-module.v") + (pg-autotest remark "Regression testing bug cases...") + (pg-autotest script-wholefile "etc/coq/parsingcheck-410.v") + (pg-autotest remark "Testing prove-as-you-go (not replay)") (find-file ".autotest.v") (erase-buffer) ; just in case exists -- cgit v1.2.3