
(/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 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| 3
                 (CONS (VECTOR (QVELT |cur| 0) |inp| |out|)
                       (QVELT |cur| 3)))))))) 

(DEFUN |TESTCNT;incFail;SLV;8| (|inp| |out| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incFail;SLV;8|)
      (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;9| (|inp| $)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;incFatal;SV;9|)
      (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;10| ($)
  (PROG (|cur|)
    (RETURN
     (SEQ
      (LETT |cur|
            (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                      (QREFELT $ 14) (QREFELT $ 34))
            |TESTCNT;decFatal;V;10|)
      (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;11| (|s| $)
  (PROG (|idx|)
    (RETURN
     (SEQ
      (LETT |idx|
            (QVELT
             (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 15) (QREFELT $ 29))
                       (QREFELT $ 14) (QREFELT $ 34))
             0)
            |TESTCNT;addWarning;OfV;11|)
      (EXIT
       (SETELT $ 13
               (CONS
                (SPADCALL
                 (LIST
                  (SPADCALL
                   (SPADCALL "Testsuite " (QREFELT $ 15) (QREFELT $ 22))
                   (QREFELT $ 42))
                  (SPADCALL
                   (SPADCALL "Testcase " (QREFELT $ 14) (QREFELT $ 22))
                   (QREFELT $ 42))
                  (SPADCALL
                   (SPADCALL "test " (STRINGIMAGE |idx|) (QREFELT $ 22))
                   (QREFELT $ 42))
                  |s|)
                 (QREFELT $ 44))
                (QREFELT $ 13)))))))) 

(DEFUN |TESTCNT;statistics;V;12| ($)
  (PROG (#1=#:G1919 #2=#:G1915 #3=#:G1911 #4=#:G1907 #5=#:G1903 |stotalTests|
         |sfailedTests| |stotalCases| |sfailedCases| |failedTests| |totalTests|
         |failedCases| |totalCases| #6=#:G1933 |tstcase| #7=#:G1932 |tstsuite|
         #8=#:G1931 |f| |outstring| #9=#:G1929 |o| #10=#:G1930 |i| #11=#:G1928
         #12=#:G1876 #13=#:G1927 #14=#:G1926 #15=#:G1925 #16=#:G1924 |w|)
    (RETURN
     (SEQ
      (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 47)))
                (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 $ 47)))
                   (QREFELT $ 24))
         (SPADCALL "WARNINGS:" (QREFELT $ 24))
         (EXIT
          (SEQ (LETT |w| NIL . #17=(|TESTCNT;statistics;V;12|))
               (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 $ 49))))
               (LETT #16# (CDR #16#) . #17#) #19=(GO G190) G191 (EXIT NIL))))))
      (SPADCALL "" (QREFELT $ 50))
      (SEQ (LETT |tstsuite| NIL . #17#)
           (LETT #15# (REVERSE (SPADCALL (QREFELT $ 12) (QREFELT $ 52)))
                 . #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 $ 54)))
                           . #17#)
                     G190
                     (COND
                      ((OR (ATOM #14#)
                           (PROGN (LETT |tstcase| (CAR #14#) . #17#) NIL))
                       #18#))
                     (SEQ (LETT |totalCases| (+ |totalCases| 1) . #17#)
                          (EXIT
                           (COND
                            ((< 0 (QVELT (QCDR |tstcase|) 1))
                             (LETT |failedCases| (+ |failedCases| 1)
                                   . #17#)))))
                     (LETT #14# (CDR #14#) . #17#) #19# G191 (EXIT NIL))
                (SPADCALL
                 (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 47)))
                 (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 $ 50))
                        (SPADCALL "  failed testcases were:" (QREFELT $ 24))
                        (EXIT
                         (SEQ (LETT |tstcase| NIL . #17#)
                              (LETT #13#
                                    (REVERSE
                                     (SPADCALL (QCDR |tstsuite|)
                                               (QREFELT $ 54)))
                                    . #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 $ 47)))
                                              (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|) 3)))
                                     (SEQ (SPADCALL "" (QREFELT $ 50))
                                          (SPADCALL "    failed tests were:"
                                                    (QREFELT $ 24))
                                          (EXIT
                                           (SEQ (LETT |f| NIL . #17#)
                                                (LETT #11#
                                                      (REVERSE
                                                       (QVELT (QCDR |tstcase|)
                                                              3))
                                                      . #17#)
                                                G190
                                                (COND
                                                 ((OR (ATOM #11#)
                                                      (PROGN
                                                       (LETT |f| (CAR #11#)
                                                             . #17#)
                                                       NIL))
                                                  #18#))
                                                (SEQ
                                                 (SPADCALL "" (QREFELT $ 50))
                                                 (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 $ 42))
                                                           |o| (QREFELT $ 55))
                                                          (QREFELT $ 49))))
                                                       (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|) 2)))
                                      (SEQ (SPADCALL "" (QREFELT $ 50))
                                           (SPADCALL "  fatal tests were:"
                                                     (QREFELT $ 24))
                                           (EXIT
                                            (SEQ (LETT |f| NIL . #17#)
                                                 (LETT #8#
                                                       (REVERSE
                                                        (QVELT (QCDR |tstcase|)
                                                               2))
                                                       . #17#)
                                                 G190
                                                 (COND
                                                  ((OR (ATOM #8#)
                                                       (PROGN
                                                        (LETT |f| (CAR #8#)
                                                              . #17#)
                                                        NIL))
                                                   #18#))
                                                 (SEQ
                                                  (SPADCALL "" (QREFELT $ 50))
                                                  (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 $ 50))
      (SPADCALL (MAKE-FULL-CVEC (QREFELT $ 6) (SPADCALL "=" (QREFELT $ 47)))
                (QREFELT $ 24))
      (SPADCALL "testsuite | testcases: failed (total) | tests: failed (total)"
                (QREFELT $ 24))
      (EXIT
       (SEQ (LETT |tstsuite| NIL . #17#)
            (LETT #7# (REVERSE (SPADCALL (QREFELT $ 12) (QREFELT $ 52)))
                  . #17#)
            G190
            (COND
             ((OR (ATOM #7#) (PROGN (LETT |tstsuite| (CAR #7#) . #17#) NIL))
              #18#))
            (SEQ (LETT |failedCases| 0 . #17#) (LETT |totalCases| 0 . #17#)
                 (LETT |failedTests| 0 . #17#) (LETT |totalTests| 0 . #17#)
                 (SEQ (LETT |tstcase| NIL . #17#)
                      (LETT #6#
                            (REVERSE
                             (SPADCALL (QCDR |tstsuite|) (QREFELT $ 54)))
                            . #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 |totalTests|
                                 (+ |totalTests| (QVELT (QCDR |tstcase|) 0))
                                 . #17#)
                           (EXIT
                            (LETT |failedTests|
                                  (+ |failedTests| (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 |failedTests|) . #17#)
                 (LETT |stotalTests| (STRINGIMAGE |totalTests|) . #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 $ 47)))
                              (SPADCALL
                               (MAKE-FULL-CVEC
                                (PROG1
                                    (LETT #4#
                                          (MAX (- 5 (QCSIZE |sfailedCases|)) 0)
                                          . #17#)
                                  (|check-subtype| (>= #4# 0)
                                                   '(|NonNegativeInteger|)
                                                   #4#))
                                (SPADCALL " " (QREFELT $ 47)))
                               (SPADCALL |sfailedCases|
                                         (SPADCALL
                                          (MAKE-FULL-CVEC
                                           (PROG1
                                               (LETT #3#
                                                     (MAX
                                                      (- 6
                                                         (QCSIZE
                                                          |stotalCases|))
                                                      0)
                                                     . #17#)
                                             (|check-subtype| (>= #3# 0)
                                                              '(|NonNegativeInteger|)
                                                              #3#))
                                           (SPADCALL " " (QREFELT $ 47)))
                                          (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
                                                                            $
                                                                            47)))
                                                                         (SPADCALL
                                                                          |sfailedTests|
                                                                          (SPADCALL
                                                                           (MAKE-FULL-CVEC
                                                                            (PROG1
                                                                                (LETT
                                                                                 #1#
                                                                                 (MAX
                                                                                  (-
                                                                                   6
                                                                                   (QCSIZE
                                                                                    |stotalTests|))
                                                                                  0)
                                                                                 . #17#)
                                                                              (|check-subtype|
                                                                               (>=
                                                                                #1#
                                                                                0)
                                                                               '(|NonNegativeInteger|)
                                                                               #1#))
                                                                            (SPADCALL
                                                                             " "
                                                                             (QREFELT
                                                                              $
                                                                              47)))
                                                                           (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))))))) 

(DEFUN |UnittestCount| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1935)
       (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 57) . #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|))
                        (|:| |fatalities| (|List| 7))
                        (|:| |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;incFail;SLV;8|
              |TESTCNT;incFatal;SV;9| |TESTCNT;decFatal;V;10| (48 . |message|)
              (|List| $) (53 . |pile|) |TESTCNT;addWarning;OfV;11|
              (|Character|) (58 . |char|) (|OutputPackage|) (63 . |output|)
              (68 . |output|) (|List| 27) (73 . |parts|) (|List| 30)
              (78 . |parts|) (83 . |hconcat|) |TESTCNT;statistics;V;12|)
           '#(|testsuiteNoClear| 89 |testsuite| 94 |testcaseNoClear| 99
              |testcase| 104 |statistics| 109 |incPass| 113 |incLibraryError|
              117 |incFatal| 123 |incFail| 128 |decFatal| 134 |chkLibraryError|
              138 |addWarning| 142)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 56
                                                 '(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 42 1 23
                                                   0 43 44 1 46 0 17 47 1 48 16
                                                   23 49 1 48 16 17 50 1 10 51
                                                   0 52 1 25 53 0 54 2 23 0 0 0
                                                   55 1 0 16 17 20 1 0 16 17 21
                                                   1 0 16 17 32 1 0 16 17 33 0
                                                   0 16 56 0 0 16 35 2 0 16 17
                                                   37 38 1 0 16 17 40 2 0 16 17
                                                   37 39 0 0 16 41 0 0 16 36 1
                                                   0 16 23 45)))))
           '|lookupComplete|)) 

(MAKEPROP '|UnittestCount| 'NILADIC T) 
