branch: elpa/idris-mode
commit 9961dfab1063b4dcec71a959e403608a3fbc70c0
Author: Marek <[email protected]>
Commit: Marek <[email protected]>
Simplify idris-commands-tests
---
test/idris-commands-test.el | 31 ++++++++++++-------------------
1 file changed, 12 insertions(+), 19 deletions(-)
diff --git a/test/idris-commands-test.el b/test/idris-commands-test.el
index 39bd20a9b98..a23a77d217b 100644
--- a/test/idris-commands-test.el
+++ b/test/idris-commands-test.el
@@ -89,35 +89,28 @@ In particular, only *idris-events* should remain."
(let ((mv-buffer (get-buffer idris-hole-list-buffer-name)))
;; The buffer exists and contains characters
(should (bufferp mv-buffer))
- (should (> (buffer-size mv-buffer) 10))
- (kill-buffer mv-buffer))
+ (should (> (buffer-size mv-buffer) 10)))
;; Clean up
- (with-current-buffer buffer
- (idris-delete-ibc t)
- (kill-buffer))))
-
- ;; More cleanup
- (idris-quit))
+ (idris-delete-ibc t)
+ (kill-buffer)
+ (idris-quit))))
(ert-deftest idris-load-file-idris-hole-show-on-load-disabled ()
"Test that holes buffer is not created."
(let ((buffer (find-file-noselect "test-data/MetavarTest.idr"))
(idris-hole-show-on-load nil))
(with-current-buffer buffer
- (idris-load-file))
- (dotimes (_ 10) (accept-process-output nil 0.1))
- (let ((mv-buffer (get-buffer idris-hole-list-buffer-name)))
- (should-not (bufferp mv-buffer))
- (should (null mv-buffer)))
+ (idris-load-file)
+ (dotimes (_ 10) (accept-process-output nil 0.1))
+ (let ((mv-buffer (get-buffer idris-hole-list-buffer-name)))
+ (should-not (bufferp mv-buffer))
+ (should (null mv-buffer)))
- ;; Clean up
- (with-current-buffer buffer
+ ;; Clean up
(idris-delete-ibc t)
- (kill-buffer)))
-
- ;; More cleanup
- (idris-quit))
+ (kill-buffer)
+ (idris-quit))))
(ert-deftest idris-list-holes ()
"Test `idris-list-holes' command."
