
(/VERSIONCHECK 2) 

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

(DEFUN |TESTCNT;testcaseNoClear;SV;2| (|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 $ 17))
                  (QREFELT $ 17))
              (QREFELT $ 20))))
       (SETELT $ 14 |s|)
       (EXIT (SPADCALL (CONS (QREFELT $ 14) (VECTOR 0 0 NIL NIL))
                 (SPADCALL (QREFELT $ 12) (QREFELT $ 15)
                     (QREFELT $ 26))
                 (QREFELT $ 28))))) 

(DEFUN |TESTCNT;testcase;SV;3| (|s| $)
  (SEQ (SPADCALL "clear all" (QREFELT $ 31))
       (EXIT (SPADCALL |s| (QREFELT $ 29))))) 

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

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

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

(DEFUN |TESTCNT;incFail;SLV;7| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
      (SEQ (LETT |cur|
                 (SPADCALL
                     (SPADCALL (QREFELT $ 12) (QREFELT $ 15)
                         (QREFELT $ 26))
                     (QREFELT $ 14) (QREFELT $ 33))
                 |TESTCNT;incFail;SLV;7|)
           (QSETVELT |cur| 1 (+ (QVELT |cur| 1) 1))
           (QSETVELT |cur| 3
               (CONS (VECTOR (QVELT |cur| 0) |inp| |out|)
                     (QVELT |cur| 3)))
           (EXIT (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))))))) 

(DEFUN |TESTCNT;incFatal;SV;8| (|inp| $)
  (PROG (|cur|)
    (RETURN
      (SEQ (LETT |cur|
                 (SPADCALL
                     (SPADCALL (QREFELT $ 12) (QREFELT $ 15)
                         (QREFELT $ 26))
                     (QREFELT $ 14) (QREFELT $ 33))
                 |TESTCNT;incFatal;SV;8|)
           (QSETVELT |cur| 0 (+ (QVELT |cur| 0) 1))
           (QSETVELT |cur| 1 (+ (QVELT |cur| 1) 1))
           (EXIT (QSETVELT |cur| 2
                     (CONS (CONS (QVELT |cur| 0) |inp|)
                           (QVELT |cur| 2)))))))) 

(DEFUN |TESTCNT;decFatal;V;9| ($)
  (PROG (|cur|)
    (RETURN
      (SEQ (LETT |cur|
                 (SPADCALL
                     (SPADCALL (QREFELT $ 12) (QREFELT $ 15)
                         (QREFELT $ 26))
                     (QREFELT $ 14) (QREFELT $ 33))
                 |TESTCNT;decFatal;V;9|)
           (QSETVELT |cur| 0 (- (QVELT |cur| 0) 1))
           (QSETVELT |cur| 1 (- (QVELT |cur| 1) 1))
           (EXIT (QSETVELT |cur| 2 (CDR (QVELT |cur| 2)))))))) 

(DEFUN |TESTCNT;addWarning;OfV;10| (|s| $)
  (PROG (|idx|)
    (RETURN
      (SEQ (LETT |idx|
                 (QVELT (SPADCALL
                            (SPADCALL (QREFELT $ 12) (QREFELT $ 15)
                                (QREFELT $ 26))
                            (QREFELT $ 14) (QREFELT $ 33))
                        0)
                 |TESTCNT;addWarning;OfV;10|)
           (EXIT (SETELT $ 13
                         (CONS (SPADCALL
                                   (LIST
                                    (SPADCALL
                                     (SPADCALL "Testsuite "
                                      (QREFELT $ 15) (QREFELT $ 17))
                                     (QREFELT $ 41))
                                    (SPADCALL
                                     (SPADCALL "Testcase "
                                      (QREFELT $ 14) (QREFELT $ 17))
                                     (QREFELT $ 41))
                                    (SPADCALL
                                     (SPADCALL "test "
                                      (STRINGIMAGE |idx|)
                                      (QREFELT $ 17))
                                     (QREFELT $ 41))
                                    |s|)
                                   (QREFELT $ 43))
                               (QREFELT $ 13)))))))) 

(DEFUN |TESTCNT;statistics;V;11| ($)
  (PROG (|w| #0=#:G1929 #1=#:G1930 #2=#:G1931 #3=#:G1932 #4=#:G1881
             #5=#:G1933 |i| #6=#:G1935 |o| #7=#:G1934 |outstring| |f|
             #8=#:G1936 |tstsuite| #9=#:G1937 |tstcase| #10=#:G1938
             |totalCases| |failedCases| |totalTests| |failedTests|
             |sfailedCases| |stotalCases| |sfailedTests| |stotalTests|
             #11=#:G1908 #12=#:G1912 #13=#:G1916 #14=#:G1920
             #15=#:G1924)
    (RETURN
      (SEQ (SPADCALL
               (MAKE-FULL-CVEC (QREFELT $ 6)
                   (SPADCALL "=" (QREFELT $ 46)))
               (QREFELT $ 20))
           (SPADCALL "General WARNINGS:" (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "* do not use ')clear completely' before having used "
                   "'statistics()'" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL "  It clears the statistics without warning!"
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "* do not forget to pass the arguments of the testXxxx "
                   "functions as Strings!" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "  Otherwise, the test will fail and statistics() will "
                   "not notice!" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "* when a function to test takes a string as an "
                   "argument, put it in a variable" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "  instead. Otherwise, the test will fail and "
                   "statistics() will not notice!" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "* testLibraryError does not prevent FriCAS from "
                   "aborting the current block." (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL
               (SPADCALL
                   "  Thus, if a block contains other test functions, they "
                   "will not be executed" (QREFELT $ 17))
               (QREFELT $ 20))
           (SPADCALL "  and statistics() will not notice!"
               (QREFELT $ 20))
           (COND
             ((< 0 (LENGTH (QREFELT $ 13)))
              (SEQ (SPADCALL
                       (MAKE-FULL-CVEC (QREFELT $ 6)
                           (SPADCALL "=" (QREFELT $ 46)))
                       (QREFELT $ 20))
                   (SPADCALL "WARNINGS:" (QREFELT $ 20))
                   (EXIT (SEQ (LETT |w| NIL
                                    . #16=(|TESTCNT;statistics;V;11|))
                              (LETT #0#
                                    (REVERSE (QREFELT $ 13)) . #16#)
                              G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |w| (CAR #0#) . #16#)
                                       NIL))
                                 #17=(GO G191)))
                              (SEQ (EXIT (SPADCALL |w| (QREFELT $ 48))))
                              (LETT #0# (CDR #0#) . #16#) #18=(GO G190)
                              G191 (EXIT NIL))))))
           (SPADCALL "" (QREFELT $ 49))
           (SEQ (LETT |tstsuite| NIL . #16#)
                (LETT #1#
                      (REVERSE (SPADCALL (QREFELT $ 12) (QREFELT $ 51))) . #16#)
                G190
                (COND
                  ((OR (ATOM #1#)
                       (PROGN (LETT |tstsuite| (CAR #1#) . #16#) NIL))
                   #17#))
                (SEQ (LETT |failedCases| 0 . #16#)
                     (LETT |totalCases| 0 . #16#)
                     (SEQ (LETT |tstcase| NIL . #16#)
                          (LETT #2#
                                (REVERSE (SPADCALL (QCDR |tstsuite|)
                                          (QREFELT $ 53))) . #16#)
                          G190
                          (COND
                            ((OR (ATOM #2#)
                                 (PROGN
                                   (LETT |tstcase| (CAR #2#) . #16#)
                                   NIL))
                             #17#))
                          (SEQ (LETT |totalCases|
                                     (+ |totalCases| 1) . #16#)
                               (EXIT (COND
                                       ((< 0
                                         (QVELT (QCDR |tstcase|) 1))
                                        (LETT |failedCases|
                                         (+ |failedCases| 1) . #16#)))))
                          (LETT #2# (CDR #2#) . #16#) #18# G191
                          (EXIT NIL))
                     (SPADCALL
                         (MAKE-FULL-CVEC (QREFELT $ 6)
                             (SPADCALL "=" (QREFELT $ 46)))
                         (QREFELT $ 20))
                     (SPADCALL
                         (SPADCALL "Testsuite: " (QCAR |tstsuite|)
                             (QREFELT $ 17))
                         (QREFELT $ 20))
                     (SPADCALL
                         (SPADCALL "  failed (total): "
                             (SPADCALL (STRINGIMAGE |failedCases|)
                                 (SPADCALL " ("
                                     (SPADCALL
                                      (STRINGIMAGE |totalCases|) ")"
                                      (QREFELT $ 17))
                                     (QREFELT $ 17))
                                 (QREFELT $ 17))
                             (QREFELT $ 17))
                         (QREFELT $ 20))
                     (EXIT (COND
                             ((< 0 |failedCases|)
                              (SEQ (SPADCALL "" (QREFELT $ 49))
                                   (SPADCALL "  failed testcases were:"
                                    (QREFELT $ 20))
                                   (EXIT
                                    (SEQ (LETT |tstcase| NIL . #16#)
                                     (LETT #3#
                                      (REVERSE
                                       (SPADCALL (QCDR |tstsuite|)
                                        (QREFELT $ 53))) . #16#)
                                     G190
                                     (COND
                                       ((OR (ATOM #3#)
                                         (PROGN
                                           (LETT |tstcase|
                                            (CAR #3#) . #16#)
                                           NIL))
                                        #17#))
                                     (SEQ
                                      (EXIT
                                       (COND
                                         ((< 0
                                           (QVELT (QCDR |tstcase|) 1))
                                          (SEQ
                                           (SPADCALL
                                            (SPADCALL "  "
                                             (MAKE-FULL-CVEC
                                              (PROG1
                                               (LETT #4#
                                                (- (QREFELT $ 6) 2) . #16#)
                                                (|check-subtype|
                                                 (>= #4# 0)
                                                 '(|NonNegativeInteger|)
                                                 #4#))
                                              (SPADCALL "-"
                                               (QREFELT $ 46)))
                                             (QREFELT $ 17))
                                            (QREFELT $ 20))
                                           (SPADCALL
                                            (SPADCALL "  Testcase: "
                                             (QCAR |tstcase|)
                                             (QREFELT $ 17))
                                            (QREFELT $ 20))
                                           (SPADCALL
                                            (SPADCALL
                                             "    failed (total): "
                                             (SPADCALL
                                              (STRINGIMAGE
                                               (QVELT (QCDR |tstcase|)
                                                1))
                                              (SPADCALL " ("
                                               (SPADCALL
                                                (STRINGIMAGE
                                                 (QVELT
                                                  (QCDR |tstcase|) 0))
                                                ")" (QREFELT $ 17))
                                               (QREFELT $ 17))
                                              (QREFELT $ 17))
                                             (QREFELT $ 17))
                                            (QREFELT $ 20))
                                           (COND
                                             ((< 0
                                               (LENGTH
                                                (QVELT (QCDR |tstcase|)
                                                 3)))
                                              (SEQ
                                               (SPADCALL ""
                                                (QREFELT $ 49))
                                               (SPADCALL
                                                "    failed tests were:"
                                                (QREFELT $ 20))
                                               (EXIT
                                                (SEQ
                                                 (LETT |f| NIL . #16#)
                                                 (LETT #5#
                                                  (REVERSE
                                                   (QVELT
                                                    (QCDR |tstcase|) 3)) . #16#)
                                                 G190
                                                 (COND
                                                   ((OR (ATOM #5#)
                                                     (PROGN
                                                       (LETT |f|
                                                        (CAR #5#) . #16#)
                                                       NIL))
                                                    #17#))
                                                 (SEQ
                                                  (SPADCALL ""
                                                   (QREFELT $ 49))
                                                  (SPADCALL
                                                   (SPADCALL "      "
                                                    (SPADCALL
                                                     (STRINGIMAGE
                                                      (QVELT |f| 0))
                                                     (SPADCALL ": "
                                                      (QVELT |f| 1)
                                                      (QREFELT $ 17))
                                                     (QREFELT $ 17))
                                                    (QREFELT $ 17))
                                                   (QREFELT $ 20))
                                                  (EXIT
                                                   (SEQ
                                                    (LETT |i| 1 . #16#)
                                                    (LETT #6#
                                                     (LENGTH
                                                      (QVELT |f| 2)) . #16#)
                                                    (LETT |o|
                                                     NIL . #16#)
                                                    (LETT #7#
                                                     (QVELT |f| 2) . #16#)
                                                    G190
                                                    (COND
                                                      ((OR (ATOM #7#)
                                                        (PROGN
                                                          (LETT |o|
                                                           (CAR #7#) . #16#)
                                                          NIL)
                                                        (QSGREATERP |i|
                                                         #6#))
                                                       #17#))
                                                    (SEQ
                                                     (LETT |outstring|
                                                      (SPADCALL
                                                       "      Output"
                                                       (SPADCALL
                                                        (STRINGIMAGE
                                                         |i|)
                                                        ": "
                                                        (QREFELT $ 17))
                                                       (QREFELT $ 17)) . #16#)
                                                     (EXIT
                                                      (SPADCALL
                                                       (SPADCALL
                                                        (SPADCALL
                                                         |outstring|
                                                         (QREFELT $ 41))
                                                        |o|
                                                        (QREFELT $ 54))
                                                       (QREFELT $ 48))))
                                                    (LETT #7#
                                                     (PROG1 (CDR #7#)
                                                       (LETT |i|
                                                        (QSADD1 |i|) . #16#)) . #16#)
                                                    #18# G191
                                                    (EXIT NIL))))
                                                 (LETT #5#
                                                  (CDR #5#) . #16#)
                                                 #18# G191 (EXIT NIL))))))
                                           (EXIT
                                            (COND
                                              ((< 0
                                                (LENGTH
                                                 (QVELT
                                                  (QCDR |tstcase|) 2)))
                                               (SEQ
                                                (SPADCALL ""
                                                 (QREFELT $ 49))
                                                (SPADCALL
                                                 "  fatal tests were:"
                                                 (QREFELT $ 20))
                                                (EXIT
                                                 (SEQ
                                                  (LETT |f| NIL . #16#)
                                                  (LETT #8#
                                                   (REVERSE
                                                    (QVELT
                                                     (QCDR |tstcase|)
                                                     2)) . #16#)
                                                  G190
                                                  (COND
                                                    ((OR (ATOM #8#)
                                                      (PROGN
                                                        (LETT |f|
                                                         (CAR #8#) . #16#)
                                                        NIL))
                                                     #17#))
                                                  (SEQ
                                                   (SPADCALL ""
                                                    (QREFELT $ 49))
                                                   (EXIT
                                                    (SPADCALL
                                                     (SPADCALL "      "
                                                      (SPADCALL
                                                       (STRINGIMAGE
                                                        (QCAR |f|))
                                                       (SPADCALL ": "
                                                        (QCDR |f|)
                                                        (QREFELT $ 17))
                                                       (QREFELT $ 17))
                                                      (QREFELT $ 17))
                                                     (QREFELT $ 20))))
                                                  (LETT #8#
                                                   (CDR #8#) . #16#)
                                                  #18# G191 (EXIT NIL))))))))))))
                                     (LETT #3# (CDR #3#) . #16#) #18#
                                     G191 (EXIT NIL))))))))
                (LETT #1# (CDR #1#) . #16#) #18# G191 (EXIT NIL))
           (SPADCALL "" (QREFELT $ 49))
           (SPADCALL
               (MAKE-FULL-CVEC (QREFELT $ 6)
                   (SPADCALL "=" (QREFELT $ 46)))
               (QREFELT $ 20))
           (SPADCALL
               "testsuite | testcases: failed (total) | tests: failed (total)"
               (QREFELT $ 20))
           (EXIT (SEQ (LETT |tstsuite| NIL . #16#)
                      (LETT #9#
                            (REVERSE (SPADCALL (QREFELT $ 12)
                                      (QREFELT $ 51))) . #16#)
                      G190
                      (COND
                        ((OR (ATOM #9#)
                             (PROGN
                               (LETT |tstsuite| (CAR #9#) . #16#)
                               NIL))
                         #17#))
                      (SEQ (LETT |failedCases| 0 . #16#)
                           (LETT |totalCases| 0 . #16#)
                           (LETT |failedTests| 0 . #16#)
                           (LETT |totalTests| 0 . #16#)
                           (SEQ (LETT |tstcase| NIL . #16#)
                                (LETT #10#
                                      (REVERSE
                                       (SPADCALL (QCDR |tstsuite|)
                                        (QREFELT $ 53))) . #16#)
                                G190
                                (COND
                                  ((OR (ATOM #10#)
                                    (PROGN
                                      (LETT |tstcase|
                                       (CAR #10#) . #16#)
                                      NIL))
                                   #17#))
                                (SEQ (LETT |totalCases|
                                      (+ |totalCases| 1) . #16#)
                                     (COND
                                       ((< 0
                                         (QVELT (QCDR |tstcase|) 1))
                                        (LETT |failedCases|
                                         (+ |failedCases| 1) . #16#)))
                                     (LETT |totalTests|
                                      (+ |totalTests|
                                       (QVELT (QCDR |tstcase|) 0)) . #16#)
                                     (EXIT
                                      (LETT |failedTests|
                                       (+ |failedTests|
                                        (QVELT (QCDR |tstcase|) 1)) . #16#)))
                                (LETT #10# (CDR #10#) . #16#) #18# G191
                                (EXIT NIL))
                           (LETT |sfailedCases|
                                 (STRINGIMAGE |failedCases|) . #16#)
                           (LETT |stotalCases|
                                 (STRINGIMAGE |totalCases|) . #16#)
                           (LETT |sfailedTests|
                                 (STRINGIMAGE |failedTests|) . #16#)
                           (LETT |stotalTests|
                                 (STRINGIMAGE |totalTests|) . #16#)
                           (EXIT (SPADCALL
                                     (SPADCALL (QCAR |tstsuite|)
                                      (SPADCALL
                                       (MAKE-FULL-CVEC
                                        (PROG1
                                         (LETT #11#
                                          (MAX
                                           (- 24
                                            (QCSIZE (QCAR |tstsuite|)))
                                           0) . #16#)
                                          (|check-subtype| (>= #11# 0)
                                           '(|NonNegativeInteger|)
                                           #11#))
                                        (SPADCALL " " (QREFELT $ 46)))
                                       (SPADCALL
                                        (MAKE-FULL-CVEC
                                         (PROG1
                                          (LETT #12#
                                           (MAX
                                            (- 5
                                             (QCSIZE |sfailedCases|))
                                            0) . #16#)
                                           (|check-subtype| (>= #12# 0)
                                            '(|NonNegativeInteger|)
                                            #12#))
                                         (SPADCALL " " (QREFELT $ 46)))
                                        (SPADCALL |sfailedCases|
                                         (SPADCALL
                                          (MAKE-FULL-CVEC
                                           (PROG1
                                            (LETT #13#
                                             (MAX
                                              (- 6
                                               (QCSIZE |stotalCases|))
                                              0) . #16#)
                                             (|check-subtype|
                                              (>= #13# 0)
                                              '(|NonNegativeInteger|)
                                              #13#))
                                           (SPADCALL " "
                                            (QREFELT $ 46)))
                                          (SPADCALL "("
                                           (SPADCALL |stotalCases|
                                            (SPADCALL ")"
                                             (SPADCALL
                                              (MAKE-FULL-CVEC
                                               (PROG1
                                                (LETT #14#
                                                 (MAX
                                                  (- 16
                                                   (QCSIZE
                                                    |sfailedTests|))
                                                  0) . #16#)
                                                 (|check-subtype|
                                                  (>= #14# 0)
                                                  '(|NonNegativeInteger|)
                                                  #14#))
                                               (SPADCALL " "
                                                (QREFELT $ 46)))
                                              (SPADCALL |sfailedTests|
                                               (SPADCALL
                                                (MAKE-FULL-CVEC
                                                 (PROG1
                                                  (LETT #15#
                                                   (MAX
                                                    (- 6
                                                     (QCSIZE
                                                      |stotalTests|))
                                                    0) . #16#)
                                                   (|check-subtype|
                                                    (>= #15# 0)
                                                    '(|NonNegativeInteger|)
                                                    #15#))
                                                 (SPADCALL " "
                                                  (QREFELT $ 46)))
                                                (SPADCALL "("
                                                 (SPADCALL
                                                  |stotalTests| ")"
                                                  (QREFELT $ 17))
                                                 (QREFELT $ 17))
                                                (QREFELT $ 17))
                                               (QREFELT $ 17))
                                              (QREFELT $ 17))
                                             (QREFELT $ 17))
                                            (QREFELT $ 17))
                                           (QREFELT $ 17))
                                          (QREFELT $ 17))
                                         (QREFELT $ 17))
                                        (QREFELT $ 17))
                                       (QREFELT $ 17))
                                      (QREFELT $ 17))
                                     (QREFELT $ 20))))
                      (LETT #9# (CDR #9#) . #16#) #18# G191 (EXIT NIL))))))) 

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

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

(MAKEPROP '|UnittestCount| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL '|maxWidth|
             (|Record| (|:| |index| (|Integer|)) (|:| |input| 16))
             (|Record| (|:| |index| (|Integer|)) (|:| |input| 16)
                 (|:| |output| 36))
             (|Record| (|:| |total| (|Integer|))
                 (|:| |fail| (|Integer|)) (|:| |fatalities| (|List| 7))
                 (|:| |failed| (|List| 8)))
             (|AssociationList| 16 21) (0 . |empty|) '|tests|
             '|warnings| '|currentTestcase| '|currentTestsuite|
             (|String|) (4 . |elt|) (|Void|) (|OutputForm|)
             (10 . |messagePrint|) (|AssociationList| 16 9)
             (15 . |empty|) (|Record| (|:| |key| 16) (|:| |entry| 21))
             (19 . |insert!|) |TESTCNT;testsuite;SV;1| (25 . |elt|)
             (|Record| (|:| |key| 16) (|:| |entry| 9)) (31 . |insert!|)
             |TESTCNT;testcaseNoClear;SV;2| (|MoreSystemCommands|)
             (37 . |systemCommand|) |TESTCNT;testcase;SV;3|
             (42 . |elt|) |TESTCNT;incPass;V;4|
             |TESTCNT;chkLibraryError;V;5| (|List| 19)
             |TESTCNT;incLibraryError;SLV;6| |TESTCNT;incFail;SLV;7|
             |TESTCNT;incFatal;SV;8| |TESTCNT;decFatal;V;9|
             (48 . |message|) (|List| $) (53 . |pile|)
             |TESTCNT;addWarning;OfV;10| (|Character|) (58 . |char|)
             (|OutputPackage|) (63 . |output|) (68 . |output|)
             (|List| 23) (73 . |parts|) (|List| 27) (78 . |parts|)
             (83 . |hconcat|) |TESTCNT;statistics;V;11|)
          '#(|testsuite| 89 |testcaseNoClear| 94 |testcase| 99
             |statistics| 104 |incPass| 108 |incLibraryError| 112
             |incFatal| 118 |incFail| 123 |decFatal| 129
             |chkLibraryError| 133 |addWarning| 137)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 55
                                '(0 10 0 11 2 16 0 0 0 17 1 19 18 16 20
                                  0 21 0 22 2 10 0 23 0 24 2 10 21 0 16
                                  26 2 21 0 27 0 28 1 30 18 16 31 2 21
                                  9 0 16 33 1 19 0 16 41 1 19 0 42 43 1
                                  45 0 16 46 1 47 18 19 48 1 47 18 16
                                  49 1 10 50 0 51 1 21 52 0 53 2 19 0 0
                                  0 54 1 0 18 16 25 1 0 18 16 29 1 0 18
                                  16 32 0 0 18 55 0 0 18 34 2 0 18 16
                                  36 37 1 0 18 16 39 2 0 18 16 36 38 0
                                  0 18 40 0 0 18 35 1 0 18 19 44)))))
          '|lookupComplete|)) 

(MAKEPROP '|UnittestCount| 'NILADIC T) 
