diff options
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 |