Test output for c3

Testing time: 35.0s

CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/csi -script run.scm

;;; BEGIN "c3" TESTS

;; 1. Michele Simionato's example 1
(begin (define O <object>) (define-class F (O) ()) (define-class E (O) ()) (define-class D (O) ()) (define-class C (D F) ()) (define-class B (D E) ()) (define-class A (B C) ()) (class-cpl A))
;; ==> (#<class A> #<class B> #<class C> #<class D> #<class E> #<class F> #<class object> #<class top>)
;; Passed.

;; 2. Michele Simionato's example 2
(begin (define O <object>) (define-class F (O) ()) (define-class E (O) ()) (define-class D (O) ()) (define-class C (D F) ()) (define-class B (E D) ()) (define-class A (B C) ()) (class-cpl A))
;; ==> (#<class A> #<class B> #<class E> #<class C> #<class D> #<class F> #<class object> #<class top>)
;; Passed.

;; 3. Pedroni's example
(begin (define O <object>) (define-class A (O) ()) (define-class B (O) ()) (define-class C (O) ()) (define-class D (O) ()) (define-class E (O) ()) (define-class K1 (A B C) ()) (define-class K2 (D B E) ()) (define-class K3 (D A) ()) (define-class Z (K1 K2 K3) ()) (class-cpl Z))
;; ==> (#<class Z> #<class K1> #<class K2> #<class K3> #<class D> #<class A> #<class B> #<class C> #<class E> #<class object> #<class top>)
;; Passed.

;;; END "c3" TESTS: PASSED
;;;     (Total: 3  Passed: 3  Failed: 0)