;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Mop Tests
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defpackage mop-tests
  (:use :common-lisp mops lisp-unit))

(in-package :mop-tests)

(define-test all-absts-of-single
    (clear-memory)
  (defmop b (a))
  (defmop c (a))
  (defmop d (c))
  (assert-equal '(a) (all-absts-of 'a))
  (assert-equal '(b a) (all-absts-of 'b))
  (assert-equal '(c a) (all-absts-of 'c))
  (assert-equal '(d c a) (all-absts-of 'd))
  )

(define-test redefine-abst
    (clear-memory)
  (defmop b (a))
  (defmop c (a))
  (assert-equal '(c a) (all-absts-of 'c))
  (defmop c (b))
  (assert-equal '(c b a) (all-absts-of 'c))
  (defmop c (a))
  (assert-equal '(c a) (all-absts-of 'c))
  )