diff options
| author | Erik Martin-Dorel | 2020-05-04 14:59:50 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-04 15:00:31 +0200 |
| commit | dd6c458085d4050411fa4bd1ad4aca26e4145950 (patch) | |
| tree | c7cd71d8a46b018a1ca38abd67b0b5a163e0855c /ci/coq-tests.el | |
| parent | 6f2f532af7d065779bca1e7c994d065f50338d9c (diff) | |
refactor: Rename test file
Diffstat (limited to 'ci/coq-tests.el')
| -rw-r--r-- | ci/coq-tests.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/coq-tests.el b/ci/coq-tests.el index e88736e9..ac97a110 100644 --- a/ci/coq-tests.el +++ b/ci/coq-tests.el @@ -181,7 +181,7 @@ For example, COMMENT could be (*test-definition*)" (ert-deftest 020_coq-test-definition () "Test *response* output after asserting a Definition." (coq-fixture-on-file - (coq-test-full-path "test1.v") + (coq-test-full-path "test_stepwise.v") (lambda () (coq-test-goto-before "(*test-definition*)") (proof-goto-point) @@ -192,7 +192,7 @@ For example, COMMENT could be (*test-definition*)" (ert-deftest 030_coq-test-position () "Test locked region after Qed." (coq-fixture-on-file - (coq-test-full-path "test1.v") + (coq-test-full-path "test_stepwise.v") (lambda () (coq-test-goto-before " (*test-lemma*)") (let ((proof-point (point))) @@ -204,7 +204,7 @@ For example, COMMENT could be (*test-definition*)" (ert-deftest 040_coq-test-insert () "Test retract on insert from Qed." (coq-fixture-on-file - (coq-test-full-path "test1.v") + (coq-test-full-path "test_stepwise.v") (lambda () (coq-test-goto-before " (*test-lemma*)") (proof-goto-point) @@ -220,7 +220,7 @@ For example, COMMENT could be (*test-definition*)" (ert-deftest 050_coq-test-lemma-false () "Test retract on proof error." (coq-fixture-on-file - (coq-test-full-path "test1.v") + (coq-test-full-path "test_stepwise.v") (lambda () (coq-test-goto-before " (*test-lemma2*)") (let ((proof-point (save-excursion (coq-test-goto-after "(*error*)")))) |