diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 13:39:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 13:39:47 +0000 |
commit | bee51985d67c7217f0b60ca37295972015dd64eb (patch) | |
tree | e3145a0e4111b35993ab7ac719febbdfb3bddd2b /coq/coq-autotest.el | |
parent | 351257b6e2355bae8d450f7163977f23120a9626 (diff) |
Add etc/coq/parsingcheck-410.v to executed files
Diffstat (limited to 'coq/coq-autotest.el')
-rw-r--r-- | coq/coq-autotest.el | 3 |
1 files changed, 3 insertions, 0 deletions
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 |