
(/VERSIONCHECK 2) 

(DEFUN |TESTAUX;testEqualsAux;S2RV;1| (|inp| |ex1| |ex2| $)
  (COND
    ((SPADCALL (SPADCALL |ex1| (QREFELT $ 8))
         (SPADCALL |ex2| (QREFELT $ 8)) (QREFELT $ 10))
     (SPADCALL (QREFELT $ 13)))
    ((|HasCategory| (QREFELT $ 6)
         (LIST '|CoercibleTo| '(|OutputForm|)))
     (SPADCALL |inp|
         (LIST (SPADCALL |ex1| (QREFELT $ 15))
               (SPADCALL |ex2| (QREFELT $ 15)))
         (QREFELT $ 18)))
    ('T (SPADCALL |inp| NIL (QREFELT $ 18))))) 

(DEFUN |TESTAUX;testEqualsAux;S2RV;2| (|inp| |ex1| |ex2| $)
  (SEQ (SPADCALL
           (SPADCALL "testing in a domain without InputForm!"
               (QREFELT $ 20))
           (QREFELT $ 21))
       (EXIT (COND
               ((SPADCALL |ex1| |ex2| (QREFELT $ 22))
                (SPADCALL (QREFELT $ 13)))
               ((|HasCategory| (QREFELT $ 6)
                    (LIST '|CoercibleTo| '(|OutputForm|)))
                (SPADCALL |inp|
                    (LIST (SPADCALL |ex1| (QREFELT $ 15))
                          (SPADCALL |ex2| (QREFELT $ 15)))
                    (QREFELT $ 18)))
               ('T (SPADCALL |inp| NIL (QREFELT $ 18))))))) 

(DEFUN |TESTAUX;testNotEqualsAux;S2RV;3| (|inp| |ex1| |ex2| $)
  (COND
    ((SPADCALL |ex1| |ex2| (QREFELT $ 22))
     (COND
       ((|HasCategory| (QREFELT $ 6)
            (LIST '|CoercibleTo| '(|OutputForm|)))
        (SPADCALL |inp|
            (LIST (SPADCALL |ex1| (QREFELT $ 15))
                  (SPADCALL |ex2| (QREFELT $ 15)))
            (QREFELT $ 18)))
       ('T (SPADCALL |inp| NIL (QREFELT $ 18)))))
    ('T (SPADCALL (QREFELT $ 13))))) 

(DEFUN |TESTAUX;testTrueAux;SRV;4| (|inp| |ex| $)
  (COND
    ((|domainEqual| (QREFELT $ 6) (|Boolean|))
     (COND
       (|ex| (SPADCALL (QREFELT $ 13)))
       (#0='T
        (SPADCALL |inp| (LIST (SPADCALL |ex| (QREFELT $ 24)))
            (QREFELT $ 18)))))
    ((|HasCategory| (QREFELT $ 6)
         (LIST '|CoercibleTo| '(|OutputForm|)))
     (SPADCALL |inp| (LIST (SPADCALL |ex| (QREFELT $ 15)))
         (QREFELT $ 18)))
    (#0# (SPADCALL |inp| NIL (QREFELT $ 18))))) 

(DEFUN |TESTAUX;testLibraryErrorAux;SRV;5| (|inp| |ex| $)
  (COND
    ((|HasCategory| (QREFELT $ 6)
         (LIST '|CoercibleTo| '(|OutputForm|)))
     (SPADCALL |inp| (LIST (SPADCALL |ex| (QREFELT $ 15)))
         (QREFELT $ 26)))
    ('T (SPADCALL |inp| NIL (QREFELT $ 26))))) 

(DEFUN |UnittestAux| (#0=#:G12921)
  (PROG ()
    (RETURN
      (PROG (#1=#:G12922)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|UnittestAux|)
                       '|domainEqualList|)
                   . #2=(|UnittestAux|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|UnittestAux;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|UnittestAux|))))))))))) 

(DEFUN |UnittestAux;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|UnittestAux|))
        (LETT |dv$| (LIST '|UnittestAux| DV$1) . #0#)
        (LETT $ (GETREFV 28) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|UnittestAux| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (COND
          ((|HasCategory| |#1| '(|ConvertibleTo| (|InputForm|)))
           (QSETREFV $ 19
               (CONS (|dispatchFunction|
                         |TESTAUX;testEqualsAux;S2RV;1|)
                     $)))
          ('T
           (QSETREFV $ 19
               (CONS (|dispatchFunction|
                         |TESTAUX;testEqualsAux;S2RV;2|)
                     $))))
        $)))) 

(MAKEPROP '|UnittestAux| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|InputForm|)
             (0 . |convert|) (|Boolean|) (5 . =) (|Void|)
             (|UnittestCount|) (11 . |incPass|) (|OutputForm|)
             (15 . |coerce|) (|String|) (|List| 14) (20 . |incFail|)
             (26 . |testEqualsAux|) (33 . |message|)
             (38 . |addWarning|) (43 . =)
             |TESTAUX;testNotEqualsAux;S2RV;3| (49 . |coerce|)
             |TESTAUX;testTrueAux;SRV;4| (54 . |incLibraryError|)
             |TESTAUX;testLibraryErrorAux;SRV;5|)
          '#(|testTrueAux| 60 |testNotEqualsAux| 66
             |testLibraryErrorAux| 73 |testEqualsAux| 79)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 27
                                '(1 6 7 0 8 2 7 9 0 0 10 0 12 11 13 1 6
                                  14 0 15 2 12 11 16 17 18 3 0 11 16 6
                                  6 19 1 14 0 16 20 1 12 11 14 21 2 6 9
                                  0 0 22 1 9 14 0 24 2 12 11 16 17 26 2
                                  0 11 16 6 25 3 0 11 16 6 6 23 2 0 11
                                  16 6 27 3 0 11 16 6 6 19)))))
          '|lookupComplete|)) 
