diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 13:05:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 13:05:08 +0000 |
| commit | 5c326ac3969d8045c78f46aac4f058f16edbc570 (patch) | |
| tree | 8e413ef9499078f8fe10e03163986e9f7f729f11 /generic/pg-autotest.el | |
| parent | 9e875cc8caad464331a0628a037e3d3e30aa4449 (diff) | |
Many rearrangements for compatibility, efficient/correct compilation, namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
Diffstat (limited to 'generic/pg-autotest.el')
| -rw-r--r-- | generic/pg-autotest.el | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index a48027f5..19f6eb32 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -1,4 +1,4 @@ -;; pg-autotest.el: Simple testing framework for Proof General +;;; pg-autotest.el --- Simple testing framework for Proof General ;; ;; Copyright (C) 2005 LFCS Edinburgh, David Aspinall. ;; Authors: David Aspinall @@ -8,7 +8,7 @@ ;; TODO: ;; -- fix failure handling for scriptfile ;; -- force re -;; -- add macros for defining test suites +;; -- add macros for defining test suites ;; -- add more precise functional tests to check results ;; -- add negative tests ;; -- output test results to stdout @@ -18,6 +18,11 @@ (require 'proof-site) (require 'proof-compat) + +;;; Commentary: +;; + +;;; Code: (defvar pg-autotest-success t) ;; success unless error caught ;;; Some utilities @@ -27,7 +32,7 @@ (let* ((name (concat proof-home-directory file))) (if (file-exists-p name) (find-file name) - (error "autotest: requested file %s does not exist" name)))) + (error (format "autotest: requested file %s does not exist" name))))) (defun pg-autotest-find-file-restart (file) "Find FILE and make ready to script there." @@ -49,7 +54,7 @@ (error (progn (setq pg-autotest-success nil) - (princ (format "Error in test %s: %s" (symbol-name (quote ,fn)) + (princ (format "Error in test %s: %s" (symbol-name (quote ,fn)) err)))))) ;; display-error stdout? @@ -84,14 +89,14 @@ An error is signalled if scripting doesn't complete." (save-excursion (pg-autotest-find-file file) (unless (proof-locked-region-full-p) - (error "Locked region in file `%s' is not full." file)))) + (error (format "Locked region in file `%f' is not full" file))))) (defun pg-autotest-assert-unprocessed (file) "Check that FILE has been fully unprocessed." (save-excursion (pg-autotest-find-file file) (unless (proof-locked-region-empty-p) - (error "Locked region in file `%f' is not empty.")))) + (error (format "Locked region in file `%f' is not empty" file))))) (defun pg-autotest-message (msg) "Give message MSG on std out & on display." @@ -104,7 +109,7 @@ An error is signalled if scripting doesn't complete." "Exit prover process." (if (buffer-live-p proof-shell-buffer) (kill-buffer proof-shell-buffer) - (error "No proof shell buffer to kill!"))) + (error "No proof shell buffer to kill"))) (defun pg-autotest-finished () "Exit Emacs returning Unix success 0 if all tests succeeded." |