
(/VERSIONCHECK 2) 

(DEFUN |TESTCNT;testsuite;SV;1| (|s| $)
  (SEQ (SPADCALL "clear all" (QREFELT $ 19))
       (EXIT (SPADCALL |s| (QREFELT $ 20))))) 

(DEFUN |TESTCNT;testsuiteNoClear;SV;2| (|s| $)
  (SEQ
   (COND
    ((< 15 (QCSIZE |s|))
     (SPADCALL
      (SPADCALL "WARNING: string for testsuite should have less then "
                "15 characters!" (QREFELT $ 22))
      (QREFELT $ 24))))
   (SETELT $ 15 |s|)
   (EXIT
    (SPADCALL (CONS (QREFELT $ 15) (SPADCALL (QREFELT $ 26))) (QREFELT $ 12)
              (QREFELT $ 28))))) 

(DEFUN |TESTCNT;testcaseNoClear;SV;3| (|s| $)
  (SEQ
   (COND
    ((< (- (QREFELT $ 6) (QCSIZE "  Testcase: ")) (QCSIZE |s|))
     (SPADCALL
      (SPADCALL "WARNING: string for testcase should have less then "
                (SPADCALL
                 (STRINGIMAGE (- (QREFELT $ 6) (QCSIZE "  Testcase: ")))
                 " characters!" (QREFELT $ 22))
                (QREFELT $ 22))
      (QREFELT $ 24))))
   (SETELT $ 14 |s|)
   (EXIT
    (SPADCALL (CONS (QREFELT $ 14) (VECTOR 0 0 0 0 NIL NIL NIL))
              (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
              (QREFELT $ 31))))) 

(DEFUN |TESTCNT;testcase;SV;4| (|s| $)
  (SEQ (SPADCALL "clear all" (QREFELT $ 19))
       (EXIT (SPADCALL |s| (QREFELT $ 32))))) 

(DEFUN |TESTCNT;incPass;V;5| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incPass;V;5|)
      (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;chkLibraryError;V;6| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;chkLibraryError;V;6|)
      (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;incLibraryError;SLV;7| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incLibraryError;SLV;7|)
      (QSETVELT |cur| 1 (+ (QVELT |cur| 1) 1))
      (EXIT
       (QSETVELT |cur| 6
                 (CONS (VECTOR (QVELT |cur| 0) |inp| |out|)
                       (QVELT |cur| 6)))))))) 

(DEFUN |TESTCNT;xfincLibraryError;SLV;8| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;xfincLibraryError;SLV;8|)
      (EXIT (QSETVELT |cur| 2 (+ (QVELT |cur| 2) 1))))))) 

(DEFUN |TESTCNT;incXfFail;V;9| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incXfFail;V;9|)
      (QSETVELT |cur| 2 (+ (QVELT |cur| 2) 1))
      (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;incFail;SLV;10| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incFail;SLV;10|)
      (QSETVELT |cur| 1 (+ (QVELT |cur| 1) 1))
      (QSETVELT |cur| 6
                (CONS (VECTOR (QVELT |cur| 0) |inp| |out|) (QVELT |cur| 6)))
      (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;incXfPass;SLV;11| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incXfPass;SLV;11|)
      (QSETVELT |cur| 3 (+ (QVELT |cur| 3) 1))
      (QSETVELT |cur| 5
                (CONS (VECTOR (QVELT |cur| 0) |inp| |out|) (QVELT |cur| 5)))
      (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;incFatal;SV;12| (|inp| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incFatal;SV;12|)
      (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))
      (QSETVELT |cur| 1 (+ (QVELT |cur| 1) 1))
      (EXIT
       (QSETVELT |cur| 4
                 (CONS (CONS (QVELT |cur| 0) |inp|) (QVELT |cur| 4)))))))) 

(DEFUN |TESTCNT;xfincFatal;SV;13| (|inp| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;xfincFatal;SV;13|)
      (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))
      (QSETVELT |cur| 2 (+ (QVELT |cur| 2) 1))
      (EXIT
       (QSETVELT |cur| 4
                 (CONS (CONS (QVELT |cur| 0) |inp|) (QVELT |cur| 4)))))))) 

(DEFUN |TESTCNT;decFatal;V;14| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;decFatal;V;14|)
      (QSETVELT |cur| 0 (- (QVELT |cur| 0) 1))
      (QSETVELT |cur| 1 (- (QVELT |cur| 1) 1))
      (EXIT (QSETVELT |cur| 4 (CDR (QVELT |cur| 4)))))))) 

(DEFUN |TESTCNT;xfdecFatal;V;15| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;xfdecFatal;V;15|)
      (QSETVELT |cur| 0 (- (QVELT |cur| 0) 1))
      (QSETVELT |cur| 2 (- (QVELT |cur| 2) 1))
      (EXIT (QSETVELT |cur| 4 (CDR (QVELT |cur| 4)))))))) 

(DEFUN |TESTCNT;addWarning;OfV;16| (|s| $)
  (PROG (|idx|)
    (RETURN
     (SEQ
      (LETT |idx|
            (QVELT
             (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                       (QREFELT $ 14) (QREFELT $ 34))
             0)
            |TESTCNT;addWarning;OfV;16|)
      (EXIT
       (SETELT $ 13
               (CONS
                (SPADCALL
                 (LIST
                  (SPADCALL
                   (SPADCALL "Testsuite " (QREFELT $ 15) (QREFELT $ 22))
                   (QREFELT $ 47))
                  (SPADCALL
                   (SPADCALL "Testcase " (QREFELT $ 14) (QREFELT $ 22))
                   (QREFELT $ 47))
                  (SPADCALL
                   (SPADCALL "test " (STRINGIMAGE |idx|) (QREFELT $ 22))
                   (QREFELT $ 47))
                  |s|)
                 (QREFELT $ 49))
                (QREFELT $ 13)))))))) 

(DEFUN |TESTCNT;statistics;V;17| ($)
  (PROG (#1=#:G1938 #2=#:G1934 #3=#:G1930 #4=#:G1926 #5=#:G1922 |stotalTests|
         |sfailedTests| |stotalCases| |sfailedCases| |tsfailedTests|
         |tstotalTests| |failedCases| |totalCases| #6=#:G1952 |tstcase|
         #7=#:G1951 |tstsuite| #8=#:G1950 |f| |outstring| #9=#:G1948 |o|
         #10=#:G1949 |i| #11=#:G1947 #12=#:G1895 #13=#:G1946 |xfpassedTests|
         |xfailedTests| |failedTests| |totalTests| #14=#:G1945 #15=#:G1944
         #16=#:G1943 |w|)
    (RETURN
     (SEQ
      (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 52)))
                (QREFELT $ 24))
      (SPADCALL "General WARNINGS:" (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "* do not use ')clear completely' before having used "
                 "'statistics()'" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL "  It clears the statistics without warning!" (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "* do not forget to pass the arguments of the testXxxx "
                 "functions as Strings!" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "  Otherwise, the test will fail and statistics() will "
                 "not notice!" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "* when a function to test takes a string as an "
                 "argument, put it in a variable" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "  instead. Otherwise, the test will fail and "
                 "statistics() will not notice!" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "* testLibraryError does not prevent FriCAS from "
                 "aborting the current block." (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "  Thus, if a block contains other test functions, they "
                 "will not be executed" (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL "  and statistics() will not notice!" (QREFELT $ 24))
      (COND
       ((< 0 (LENGTH (QREFELT $ 13)))
        (SEQ
         (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 52)))
                   (QREFELT $ 24))
         (SPADCALL "WARNINGS:" (QREFELT $ 24))
         (EXIT
          (SEQ (LETT |w| NIL . #17=(|TESTCNT;statistics;V;17|))
               (LETT #16# (REVERSE (QREFELT $ 13)) . #17#) G190
               (COND
                ((OR (ATOM #16#) (PROGN (LETT |w| (CAR #16#) . #17#) NIL))
                 #18=(GO G191)))
               (SEQ (EXIT (SPADCALL |w| (QREFELT $ 54))))
               (LETT #16# (CDR #16#) . #17#) #19=(GO G190) G191 (EXIT NIL))))))
      (SPADCALL "" (QREFELT $ 55)) (LETT |totalTests| 0 . #17#)
      (LETT |failedTests| 0 . #17#) (LETT |xfailedTests| 0 . #17#)
      (LETT |xfpassedTests| 0 . #17#)
      (SEQ (LETT |tstsuite| NIL . #17#)
           (LETT #15# (REVERSE (SPADCALL (QREFELT $ 12) (QREFELT $ 57)))
                 . #17#)
           G190
           (COND
            ((OR (ATOM #15#) (PROGN (LETT |tstsuite| (CAR #15#) . #17#) NIL))
             #18#))
           (SEQ (LETT |failedCases| 0 . #17#) (LETT |totalCases| 0 . #17#)
                (SEQ (LETT |tstcase| NIL . #17#)
                     (LETT #14#
                           (REVERSE
                            (SPADCALL (QCDR |tstsuite|) (QREFELT $ 59)))
                           . #17#)
                     G190
                     (COND
                      ((OR (ATOM #14#)
                           (PROGN (LETT |tstcase| (CAR #14#) . #17#) NIL))
                       #18#))
                     (SEQ (LETT |totalCases| (+ |totalCases| 1) . #17#)
                          (COND
                           ((< 0 (QVELT (QCDR |tstcase|) 1))
                            (LETT |failedCases| (+ |failedCases| 1) . #17#)))
                          (LETT |totalTests|
                                (+ |totalTests| (QVELT (QCDR |tstcase|) 0))
                                . #17#)
                          (LETT |failedTests|
                                (+ |failedTests| (QVELT (QCDR |tstcase|) 1))
                                . #17#)
                          (LETT |xfailedTests|
                                (+ |xfailedTests| (QVELT (QCDR |tstcase|) 2))
                                . #17#)
                          (EXIT
                           (LETT |xfpassedTests|
                                 (+ |xfpassedTests| (QVELT (QCDR |tstcase|) 3))
                                 . #17#)))
                     (LETT #14# (CDR #14#) . #17#) #19# G191 (EXIT NIL))
                (SPADCALL
                 (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 52)))
                 (QREFELT $ 24))
                (SPADCALL
                 (SPADCALL "Testsuite: " (QCAR |tstsuite|) (QREFELT $ 22))
                 (QREFELT $ 24))
                (SPADCALL
                 (SPADCALL "  failed (total): "
                           (SPADCALL (STRINGIMAGE |failedCases|)
                                     (SPADCALL " ("
                                               (SPADCALL
                                                (STRINGIMAGE |totalCases|) ")"
                                                (QREFELT $ 22))
                                               (QREFELT $ 22))
                                     (QREFELT $ 22))
                           (QREFELT $ 22))
                 (QREFELT $ 24))
                (EXIT
                 (COND
                  ((< 0 |failedCases|)
                   (SEQ (SPADCALL "" (QREFELT $ 55))
                        (SPADCALL "  failed testcases were:" (QREFELT $ 24))
                        (EXIT
                         (SEQ (LETT |tstcase| NIL . #17#)
                              (LETT #13#
                                    (REVERSE
                                     (SPADCALL (QCDR |tstsuite|)
                                               (QREFELT $ 59)))
                                    . #17#)
                              G190
                              (COND
                               ((OR (ATOM #13#)
                                    (PROGN
                                     (LETT |tstcase| (CAR #13#) . #17#)
                                     NIL))
                                #18#))
                              (SEQ
                               (EXIT
                                (COND
                                 ((< 0 (QVELT (QCDR |tstcase|) 1))
                                  (SEQ
                                   (SPADCALL
                                    (SPADCALL "  "
                                              (MAKE-FULL-CVEC
                                               (PROG1
                                                   (LETT #12#
                                                         (- (QREFELT $ 6) 2)
                                                         . #17#)
                                                 (|check-subtype| (>= #12# 0)
                                                                  '(|NonNegativeInteger|)
                                                                  #12#))
                                               (SPADCALL "-" (QREFELT $ 52)))
                                              (QREFELT $ 22))
                                    (QREFELT $ 24))
                                   (SPADCALL
                                    (SPADCALL "  Testcase: " (QCAR |tstcase|)
                                              (QREFELT $ 22))
                                    (QREFELT $ 24))
                                   (SPADCALL
                                    (SPADCALL "    failed (total): "
                                              (SPADCALL
                                               (STRINGIMAGE
                                                (QVELT (QCDR |tstcase|) 1))
                                               (SPADCALL " ("
                                                         (SPADCALL
                                                          (STRINGIMAGE
                                                           (QVELT
                                                            (QCDR |tstcase|)
                                                            0))
                                                          ")" (QREFELT $ 22))
                                                         (QREFELT $ 22))
                                               (QREFELT $ 22))
                                              (QREFELT $ 22))
                                    (QREFELT $ 24))
                                   (COND
                                    ((< 0 (LENGTH (QVELT (QCDR |tstcase|) 6)))
                                     (SEQ (SPADCALL "" (QREFELT $ 55))
                                          (SPADCALL "    failed tests were:"
                                                    (QREFELT $ 24))
                                          (EXIT
                                           (SEQ (LETT |f| NIL . #17#)
                                                (LETT #11#
                                                      (REVERSE
                                                       (QVELT (QCDR |tstcase|)
                                                              6))
                                                      . #17#)
                                                G190
                                                (COND
                                                 ((OR (ATOM #11#)
                                                      (PROGN
                                                       (LETT |f| (CAR #11#)
                                                             . #17#)
                                                       NIL))
                                                  #18#))
                                                (SEQ
                                                 (SPADCALL "" (QREFELT $ 55))
                                                 (SPADCALL
                                                  (SPADCALL "      "
                                                            (SPADCALL
                                                             (STRINGIMAGE
                                                              (QVELT |f| 0))
                                                             (SPADCALL ": "
                                                                       (QVELT
                                                                        |f| 1)
                                                                       (QREFELT
                                                                        $ 22))
                                                             (QREFELT $ 22))
                                                            (QREFELT $ 22))
                                                  (QREFELT $ 24))
                                                 (EXIT
                                                  (SEQ (LETT |i| 1 . #17#)
                                                       (LETT #10#
                                                             (LENGTH
                                                              (QVELT |f| 2))
                                                             . #17#)
                                                       (LETT |o| NIL . #17#)
                                                       (LETT #9# (QVELT |f| 2)
                                                             . #17#)
                                                       G190
                                                       (COND
                                                        ((OR (ATOM #9#)
                                                             (PROGN
                                                              (LETT |o|
                                                                    (CAR #9#)
                                                                    . #17#)
                                                              NIL)
                                                             (QSGREATERP |i|
                                                                         #10#))
                                                         #18#))
                                                       (SEQ
                                                        (LETT |outstring|
                                                              (SPADCALL
                                                               "      Output"
                                                               (SPADCALL
                                                                (STRINGIMAGE
                                                                 |i|)
                                                                ": "
                                                                (QREFELT $ 22))
                                                               (QREFELT $ 22))
                                                              . #17#)
                                                        (EXIT
                                                         (SPADCALL
                                                          (SPADCALL
                                                           (SPADCALL
                                                            |outstring|
                                                            (QREFELT $ 47))
                                                           |o| (QREFELT $ 60))
                                                          (QREFELT $ 54))))
                                                       (LETT #9#
                                                             (PROG1 (CDR #9#)
                                                               (LETT |i|
                                                                     (QSADD1
                                                                      |i|)
                                                                     . #17#))
                                                             . #17#)
                                                       #19# G191 (EXIT NIL))))
                                                (LETT #11# (CDR #11#) . #17#)
                                                #19# G191 (EXIT NIL))))))
                                   (EXIT
                                    (COND
                                     ((< 0 (LENGTH (QVELT (QCDR |tstcase|) 4)))
                                      (SEQ (SPADCALL "" (QREFELT $ 55))
                                           (SPADCALL "  fatal tests were:"
                                                     (QREFELT $ 24))
                                           (EXIT
                                            (SEQ (LETT |f| NIL . #17#)
                                                 (LETT #8#
                                                       (REVERSE
                                                        (QVELT (QCDR |tstcase|)
                                                               4))
                                                       . #17#)
                                                 G190
                                                 (COND
                                                  ((OR (ATOM #8#)
                                                       (PROGN
                                                        (LETT |f| (CAR #8#)
                                                              . #17#)
                                                        NIL))
                                                   #18#))
                                                 (SEQ
                                                  (SPADCALL "" (QREFELT $ 55))
                                                  (EXIT
                                                   (SPADCALL
                                                    (SPADCALL "      "
                                                              (SPADCALL
                                                               (STRINGIMAGE
                                                                (QCAR |f|))
                                                               (SPADCALL ": "
                                                                         (QCDR
                                                                          |f|)
                                                                         (QREFELT
                                                                          $
                                                                          22))
                                                               (QREFELT $ 22))
                                                              (QREFELT $ 22))
                                                    (QREFELT $ 24))))
                                                 (LETT #8# (CDR #8#) . #17#)
                                                 #19# G191
                                                 (EXIT NIL))))))))))))
                              (LETT #13# (CDR #13#) . #17#) #19# G191
                              (EXIT NIL))))))))
           (LETT #15# (CDR #15#) . #17#) #19# G191 (EXIT NIL))
      (SPADCALL "" (QREFELT $ 55))
      (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 52)))
                (QREFELT $ 24))
      (SPADCALL "testsuite | testcases: failed (total) | tests: failed (total)"
                (QREFELT $ 24))
      (SEQ (LETT |tstsuite| NIL . #17#)
           (LETT #7# (REVERSE (SPADCALL (QREFELT $ 12) (QREFELT $ 57))) . #17#)
           G190
           (COND
            ((OR (ATOM #7#) (PROGN (LETT |tstsuite| (CAR #7#) . #17#) NIL))
             #18#))
           (SEQ (LETT |failedCases| 0 . #17#) (LETT |totalCases| 0 . #17#)
                (LETT |tsfailedTests| 0 . #17#) (LETT |tstotalTests| 0 . #17#)
                (SEQ (LETT |tstcase| NIL . #17#)
                     (LETT #6#
                           (REVERSE
                            (SPADCALL (QCDR |tstsuite|) (QREFELT $ 59)))
                           . #17#)
                     G190
                     (COND
                      ((OR (ATOM #6#)
                           (PROGN (LETT |tstcase| (CAR #6#) . #17#) NIL))
                       #18#))
                     (SEQ (LETT |totalCases| (+ |totalCases| 1) . #17#)
                          (COND
                           ((< 0 (QVELT (QCDR |tstcase|) 1))
                            (LETT |failedCases| (+ |failedCases| 1) . #17#)))
                          (LETT |tstotalTests|
                                (+ |tstotalTests| (QVELT (QCDR |tstcase|) 0))
                                . #17#)
                          (EXIT
                           (LETT |tsfailedTests|
                                 (+ |tsfailedTests| (QVELT (QCDR |tstcase|) 1))
                                 . #17#)))
                     (LETT #6# (CDR #6#) . #17#) #19# G191 (EXIT NIL))
                (LETT |sfailedCases| (STRINGIMAGE |failedCases|) . #17#)
                (LETT |stotalCases| (STRINGIMAGE |totalCases|) . #17#)
                (LETT |sfailedTests| (STRINGIMAGE |tsfailedTests|) . #17#)
                (LETT |stotalTests| (STRINGIMAGE |tstotalTests|) . #17#)
                (EXIT
                 (SPADCALL
                  (SPADCALL (QCAR |tstsuite|)
                            (SPADCALL
                             (MAKE-FULL-CVEC
                              (PROG1
                                  (LETT #5#
                                        (MAX (- 24 (QCSIZE (QCAR |tstsuite|)))
                                             0)
                                        . #17#)
                                (|check-subtype| (>= #5# 0)
                                                 '(|NonNegativeInteger|) #5#))
                              (SPADCALL " " (QREFELT $ 52)))
                             (SPADCALL
                              (MAKE-FULL-CVEC
                               (PROG1
                                   (LETT #4#
                                         (MAX (- 5 (QCSIZE |sfailedCases|)) 0)
                                         . #17#)
                                 (|check-subtype| (>= #4# 0)
                                                  '(|NonNegativeInteger|) #4#))
                               (SPADCALL " " (QREFELT $ 52)))
                              (SPADCALL |sfailedCases|
                                        (SPADCALL
                                         (MAKE-FULL-CVEC
                                          (PROG1
                                              (LETT #3#
                                                    (MAX
                                                     (- 6
                                                        (QCSIZE |stotalCases|))
                                                     0)
                                                    . #17#)
                                            (|check-subtype| (>= #3# 0)
                                                             '(|NonNegativeInteger|)
                                                             #3#))
                                          (SPADCALL " " (QREFELT $ 52)))
                                         (SPADCALL "("
                                                   (SPADCALL |stotalCases|
                                                             (SPADCALL ")"
                                                                       (SPADCALL
                                                                        (MAKE-FULL-CVEC
                                                                         (PROG1
                                                                             (LETT
                                                                              #2#
                                                                              (MAX
                                                                               (-
                                                                                16
                                                                                (QCSIZE
                                                                                 |sfailedTests|))
                                                                               0)
                                                                              . #17#)
                                                                           (|check-subtype|
                                                                            (>=
                                                                             #2#
                                                                             0)
                                                                            '(|NonNegativeInteger|)
                                                                            #2#))
                                                                         (SPADCALL
                                                                          " "
                                                                          (QREFELT
                                                                           $
                                                                           52)))
                                                                        (SPADCALL
                                                                         |sfailedTests|
                                                                         (SPADCALL
                                                                          (MAKE-FULL-CVEC
                                                                           (PROG1
                                                                               (LETT
                                                                                #1#
                                                                                (MAX
                                                                                 (-
                                                                                  6
                                                                                  (QCSIZE
                                                                                   |stotalTests|))
                                                                                 0)
                                                                                . #17#)
                                                                             (|check-subtype|
                                                                              (>=
                                                                               #1#
                                                                               0)
                                                                              '(|NonNegativeInteger|)
                                                                              #1#))
                                                                           (SPADCALL
                                                                            " "
                                                                            (QREFELT
                                                                             $
                                                                             52)))
                                                                          (SPADCALL
                                                                           "("
                                                                           (SPADCALL
                                                                            |stotalTests|
                                                                            ")"
                                                                            (QREFELT
                                                                             $
                                                                             22))
                                                                           (QREFELT
                                                                            $
                                                                            22))
                                                                          (QREFELT
                                                                           $
                                                                           22))
                                                                         (QREFELT
                                                                          $
                                                                          22))
                                                                        (QREFELT
                                                                         $ 22))
                                                                       (QREFELT
                                                                        $ 22))
                                                             (QREFELT $ 22))
                                                   (QREFELT $ 22))
                                         (QREFELT $ 22))
                                        (QREFELT $ 22))
                              (QREFELT $ 22))
                             (QREFELT $ 22))
                            (QREFELT $ 22))
                  (QREFELT $ 24))))
           (LETT #7# (CDR #7#) . #17#) #19# G191 (EXIT NIL))
      (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 52)))
                (QREFELT $ 24))
      (SPADCALL "File summary." (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "unexpected failures: " (STRINGIMAGE |failedTests|)
                 (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "expected failures: " (STRINGIMAGE |xfailedTests|)
                 (QREFELT $ 22))
       (QREFELT $ 24))
      (SPADCALL
       (SPADCALL "unexpected passes: " (STRINGIMAGE |xfpassedTests|)
                 (QREFELT $ 22))
       (QREFELT $ 24))
      (EXIT
       (SPADCALL
        (SPADCALL "total tests: " (STRINGIMAGE |totalTests|) (QREFELT $ 22))
        (QREFELT $ 24))))))) 

(DEFUN |UnittestCount| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1954)
       (RETURN
        (COND
         ((LETT #2# (HGET |$ConstructorCache| '|UnittestCount|)
                . #3=(|UnittestCount|))
          (|CDRwithIncrement| (CDAR #2#)))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (CDDAR
                   (HPUT |$ConstructorCache| '|UnittestCount|
                         (LIST (CONS NIL (CONS 1 (|UnittestCount;|))))))
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#) (HREM |$ConstructorCache| '|UnittestCount|))))))))))) 

(DEFUN |UnittestCount;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|UnittestCount|) . #1=(|UnittestCount|))
      (LETT $ (GETREFV 62) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|UnittestCount| NIL (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 77)
      (QSETREFV $ 12 (SPADCALL (QREFELT $ 11)))
      (QSETREFV $ 13 NIL)
      (QSETREFV $ 14 #2="")
      (QSETREFV $ 15 #2#)
      $)))) 

(MAKEPROP '|UnittestCount| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL '|maxWidth|
              (|Record| (|:| |index| (|Integer|)) (|:| |input| 17))
              (|Record| (|:| |index| (|Integer|)) (|:| |input| 17)
                        (|:| |output| 37))
              (|Record| (|:| |total| (|Integer|)) (|:| |fail| (|Integer|))
                        (|:| |xfail| (|Integer|)) (|:| |xfpassed| (|Integer|))
                        (|:| |fatalities| (|List| 7))
                        (|:| |xpassedlist| (|List| 8))
                        (|:| |failed| (|List| 8)))
              (|AssociationList| 17 25) (0 . |empty|) '|tests| '|warnings|
              '|currentTestcase| '|currentTestsuite| (|Void|) (|String|)
              (|MoreSystemCommands|) (4 . |systemCommand|)
              |TESTCNT;testsuiteNoClear;SV;2| |TESTCNT;testsuite;SV;1|
              (9 . |elt|) (|OutputForm|) (15 . |messagePrint|)
              (|AssociationList| 17 9) (20 . |empty|)
              (|Record| (|:| |key| 17) (|:| |entry| 25)) (24 . |insert!|)
              (30 . |elt|) (|Record| (|:| |key| 17) (|:| |entry| 9))
              (36 . |insert!|) |TESTCNT;testcaseNoClear;SV;3|
              |TESTCNT;testcase;SV;4| (42 . |elt|) |TESTCNT;incPass;V;5|
              |TESTCNT;chkLibraryError;V;6| (|List| 23)
              |TESTCNT;incLibraryError;SLV;7| |TESTCNT;xfincLibraryError;SLV;8|
              |TESTCNT;incXfFail;V;9| |TESTCNT;incFail;SLV;10|
              |TESTCNT;incXfPass;SLV;11| |TESTCNT;incFatal;SV;12|
              |TESTCNT;xfincFatal;SV;13| |TESTCNT;decFatal;V;14|
              |TESTCNT;xfdecFatal;V;15| (48 . |message|) (|List| $)
              (53 . |pile|) |TESTCNT;addWarning;OfV;16| (|Character|)
              (58 . |char|) (|OutputPackage|) (63 . |output|) (68 . |output|)
              (|List| 27) (73 . |parts|) (|List| 30) (78 . |parts|)
              (83 . |hconcat|) |TESTCNT;statistics;V;17|)
           '#(|xfincLibraryError| 89 |xfincFatal| 95 |xfdecFatal| 100
              |testsuiteNoClear| 104 |testsuite| 109 |testcaseNoClear| 114
              |testcase| 119 |statistics| 124 |incXfPass| 128 |incXfFail| 134
              |incPass| 138 |incLibraryError| 142 |incFatal| 148 |incFail| 153
              |decFatal| 159 |chkLibraryError| 163 |addWarning| 167)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 61
                                                 '(0 10 0 11 1 18 16 17 19 2 17
                                                   0 0 0 22 1 23 16 17 24 0 25
                                                   0 26 2 10 0 27 0 28 2 10 25
                                                   0 17 29 2 25 0 30 0 31 2 25
                                                   9 0 17 34 1 23 0 17 47 1 23
                                                   0 48 49 1 51 0 17 52 1 53 16
                                                   23 54 1 53 16 17 55 1 10 56
                                                   0 57 1 25 58 0 59 2 23 0 0 0
                                                   60 2 0 16 17 37 39 1 0 16 17
                                                   44 0 0 16 46 1 0 16 17 20 1
                                                   0 16 17 21 1 0 16 17 32 1 0
                                                   16 17 33 0 0 16 61 2 0 16 17
                                                   37 42 0 0 16 40 0 0 16 35 2
                                                   0 16 17 37 38 1 0 16 17 43 2
                                                   0 16 17 37 41 0 0 16 45 0 0
                                                   16 36 1 0 16 23 50)))))
           '|lookupComplete|)) 

(MAKEPROP '|UnittestCount| 'NILADIC T) 
