diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
| commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
| tree | a2419396d62c3342e73e44099b8745d3201d09c7 /etc/testsuite/pg-test.el | |
| parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
| parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'etc/testsuite/pg-test.el')
| -rw-r--r-- | etc/testsuite/pg-test.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/etc/testsuite/pg-test.el b/etc/testsuite/pg-test.el index 2e3c2c10..2c064827 100644 --- a/etc/testsuite/pg-test.el +++ b/etc/testsuite/pg-test.el @@ -3,7 +3,7 @@ ;; This file is part of Proof General. ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh -;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu ;; Portions © Copyright 2010, 2016 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews @@ -14,6 +14,8 @@ ;;; Code: +(eval-when-compile (require 'cl-lib)) + (defconst pg-test-buffer "** PG test output **") (defvar pg-test-total-success-count 0) @@ -68,8 +70,8 @@ (format " %s failed: exprected result %s, got %s\n" name goodresult result)))) (if errorresult - (incf pg-test-suite-fail-count) - (incf pg-test-suite-success-count) + (cl-incf pg-test-suite-fail-count) + (cl-incf pg-test-suite-success-count) (setq errorresult (format " %s succeeded.\n" name))) ;; Return string errorresult)) |