
(SDEFUN |TESTUNIT;interpretFunction1|
        ((|f| |Symbol|) (|info| |String|) (|arg| |String|) ($ |Any|))
        (SPROG
         ((|info_f| (|InputForm|)) (|ff| (|InputForm|)) (|if1| (|InputForm|)))
         (SEQ (LETT |if1| (SPADCALL |arg| (QREFELT $ 8)))
              (LETT |ff| (SPADCALL |f| (QREFELT $ 10))) (LETT |info_f| |info|)
              (EXIT
               (SPADCALL (SPADCALL (LIST |ff| |info_f| |if1|) (QREFELT $ 12))
                         (QREFELT $ 14)))))) 

(SDEFUN |TESTUNIT;interpretFunction2|
        ((|f| |Symbol|) (|info| |String|) (|arg1| |String|) (|arg2| |String|)
         ($ |Any|))
        (SPROG
         ((|info_f| (|InputForm|)) (|ff| (|InputForm|))
          (|if2| #1=(|InputForm|)) (|if1| #1#))
         (SEQ (LETT |if1| (SPADCALL |arg1| (QREFELT $ 8)))
              (LETT |if2| (SPADCALL |arg2| (QREFELT $ 8)))
              (LETT |ff| (SPADCALL |f| (QREFELT $ 10))) (LETT |info_f| |info|)
              (EXIT
               (SPADCALL
                (SPADCALL (LIST |ff| |info_f| |if1| |if2|) (QREFELT $ 12))
                (QREFELT $ 14)))))) 

(SDEFUN |TESTUNIT;testEquals;2SV;3|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQUL: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 18))
                (|TESTUNIT;interpretFunction2| '|testEqualsAux| |inp| |s1| |s2|
                 $)
                (EXIT (SPADCALL (QREFELT $ 19)))))) 

(SDEFUN |TESTUNIT;xftestEquals;2SV;4|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQUL: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 21))
                (|TESTUNIT;interpretFunction2| '|xftestEqualsAux| |inp| |s1|
                 |s2| $)
                (EXIT (SPADCALL (QREFELT $ 22)))))) 

(SDEFUN |TESTUNIT;testRealEquals;2SV;5|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQLR: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 18))
                (|TESTUNIT;interpretFunction2| '|testRealEqualsAux| |inp| |s1|
                 |s2| $)
                (EXIT (SPADCALL (QREFELT $ 19)))))) 

(SDEFUN |TESTUNIT;xftestRealEquals;2SV;6|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQLR: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 21))
                (|TESTUNIT;interpretFunction2| '|xftestRealEqualsAux| |inp|
                 |s1| |s2| $)
                (EXIT (SPADCALL (QREFELT $ 22)))))) 

(SDEFUN |TESTUNIT;testComplexEquals;2SV;7|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQLC: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 18))
                (|TESTUNIT;interpretFunction2| '|testComplexEqualsAux| |inp|
                 |s1| |s2| $)
                (EXIT (SPADCALL (QREFELT $ 19)))))) 

(SDEFUN |TESTUNIT;xftestComplexEquals;2SV;8|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "EQLC: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 21))
                (|TESTUNIT;interpretFunction2| '|xftestComplexEqualsAux| |inp|
                 |s1| |s2| $)
                (EXIT (SPADCALL (QREFELT $ 22)))))) 

(SDEFUN |TESTUNIT;testNotEquals;2SV;9|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "DIFF: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 18))
                (|TESTUNIT;interpretFunction2| '|testNotEqualsAux| |inp| |s1|
                 |s2| $)
                (EXIT (SPADCALL (QREFELT $ 19)))))) 

(SDEFUN |TESTUNIT;xftestNotEquals;2SV;10|
        ((|s1| |String|) (|s2| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "DIFF: ("
                                (SPADCALL |s1|
                                          (SPADCALL ", "
                                                    (SPADCALL |s2| ")"
                                                              (QREFELT $ 15))
                                                    (QREFELT $ 15))
                                          (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 21))
                (|TESTUNIT;interpretFunction2| '|xftestNotEqualsAux| |inp| |s1|
                 |s2| $)
                (EXIT (SPADCALL (QREFELT $ 22)))))) 

(SDEFUN |TESTUNIT;testTrue;SV;11| ((|s| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "TRUE: (" (SPADCALL |s| ")" (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 18))
                (|TESTUNIT;interpretFunction1| '|testTrueAux| |inp| |s| $)
                (EXIT (SPADCALL (QREFELT $ 19)))))) 

(SDEFUN |TESTUNIT;xftestTrue;SV;12| ((|s| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "TRUE: (" (SPADCALL |s| ")" (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| (QREFELT $ 21))
                (|TESTUNIT;interpretFunction1| '|xftestTrueAux| |inp| |s| $)
                (EXIT (SPADCALL (QREFELT $ 22)))))) 

(SDEFUN |TESTUNIT;testLibraryError;SV;13| ((|s| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ (SPADCALL (QREFELT $ 32))
                    (LETT |inp|
                          (SPADCALL "ERROR: ("
                                    (SPADCALL |s| ")" (QREFELT $ 15))
                                    (QREFELT $ 15)))
                    (EXIT
                     (|TESTUNIT;interpretFunction1| '|testLibraryErrorAux|
                      |inp| |s| $))))) 

(SDEFUN |TESTUNIT;xftestLibraryError;SV;14| ((|s| |String|) ($ |Void|))
        (SPROG ((|inp| (|String|)))
               (SEQ
                (LETT |inp|
                      (SPADCALL "ERROR: (" (SPADCALL |s| ")" (QREFELT $ 15))
                                (QREFELT $ 15)))
                (SPADCALL |inp| NIL (QREFELT $ 35))
                (|TESTUNIT;interpretFunction1| '|xftestLibraryErrorAux| |inp|
                 |s| $)
                (SPADCALL (QREFELT $ 36)) (EXIT (SPADCALL (QREFELT $ 32)))))) 

(DECLAIM (NOTINLINE |Unittest;|)) 

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

(DEFUN |Unittest;| ()
  (SPROG ((|dv$| NIL) ($ NIL) (|pv$| NIL))
         (PROGN
          (LETT |dv$| '(|Unittest|))
          (LETT $ (GETREFV 38))
          (QSETREFV $ 0 |dv$|)
          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|Unittest| NIL (CONS 1 $))
          (|stuffDomainSlots| $)
          (SETF |pv$| (QREFELT $ 3))
          $))) 

(MAKEPROP '|Unittest| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|String|) (|InputForm|) (0 . |parse|)
              (|Symbol|) (5 . |convert|) (|List| $) (10 . |convert|) (|Any|)
              (15 . |interpret|) (20 . |elt|) (|Void|) (|UnittestCount|)
              (26 . |incFatal|) (31 . |decFatal|) |TESTUNIT;testEquals;2SV;3|
              (35 . |incXfFatal|) (40 . |decXfFatal|)
              |TESTUNIT;xftestEquals;2SV;4| |TESTUNIT;testRealEquals;2SV;5|
              |TESTUNIT;xftestRealEquals;2SV;6|
              |TESTUNIT;testComplexEquals;2SV;7|
              |TESTUNIT;xftestComplexEquals;2SV;8|
              |TESTUNIT;testNotEquals;2SV;9| |TESTUNIT;xftestNotEquals;2SV;10|
              |TESTUNIT;testTrue;SV;11| |TESTUNIT;xftestTrue;SV;12|
              (44 . |chkLibraryError|) |TESTUNIT;testLibraryError;SV;13|
              (|List| (|OutputForm|)) (48 . |incXfPass|) (54 . |decXfPass|)
              |TESTUNIT;xftestLibraryError;SV;14|)
           '#(|xftestTrue| 58 |xftestRealEquals| 63 |xftestNotEquals| 69
              |xftestLibraryError| 75 |xftestEquals| 80 |xftestComplexEquals|
              86 |testTrue| 92 |testRealEquals| 97 |testNotEquals| 103
              |testLibraryError| 109 |testEquals| 114 |testComplexEquals| 120)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0))
                 (CONS '#(NIL)
                       (CONS
                        '#((|Join|
                            (|mkCategory|
                             (LIST
                              '((|testEquals| ((|Void|) (|String|) (|String|)))
                                T)
                              '((|xftestEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|testRealEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|xftestRealEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|testComplexEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|xftestComplexEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|testNotEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|xftestNotEquals|
                                 ((|Void|) (|String|) (|String|)))
                                T)
                              '((|testTrue| ((|Void|) (|String|))) T)
                              '((|xftestTrue| ((|Void|) (|String|))) T)
                              '((|testLibraryError| ((|Void|) (|String|))) T)
                              '((|xftestLibraryError| ((|Void|) (|String|)))
                                T))
                             (LIST) NIL NIL)))
                        (|makeByteWordVec2| 37
                                            '(1 7 0 6 8 1 9 7 0 10 1 7 0 11 12
                                              1 7 13 0 14 2 6 0 0 0 15 1 17 16
                                              6 18 0 17 16 19 1 17 16 6 21 0 17
                                              16 22 0 17 16 32 2 17 16 6 34 35
                                              0 17 16 36 1 0 16 6 31 2 0 16 6 6
                                              25 2 0 16 6 6 29 1 0 16 6 37 2 0
                                              16 6 6 23 2 0 16 6 6 27 1 0 16 6
                                              30 2 0 16 6 6 24 2 0 16 6 6 28 1
                                              0 16 6 33 2 0 16 6 6 20 2 0 16 6
                                              6 26)))))
           '|lookupComplete|)) 

(MAKEPROP '|Unittest| 'NILADIC T) 
