Test output for dbc [ok]

Testing time: 0s

/home/mario/local/chicken-4.8.0.3/bin/csi -script run.scm < /dev/null

Testing ...
-----------
passed ... ((matches? (a b) (odd? a)) (quote (1 2)))
passed ... (not ((matches? (a b) (even? a)) (quote (1 2))))
passed ... ((matches? (a b)) (quote (1 2)))
passed ... (not ((matches? (x)) (quote (name 1))))
passed ... (not ((matches? (x y) (number? x)) (quote (name 1))))
passed ... ((matches? (_ x)) (quote (name 1)))
passed ... (not ((matches? (_ x)) (quote (name 1 2))))
passed ... ((matches? (x (y (z) u) v)) (quote (1 (2 (3) 4) 5)))
passed ... (not ((matches? (x (y (z) u) v) (boolean? z)) (quote (1 (2 (3) 4) 5))))
passed ... (lambda-list? (quote x))
passed ... (lambda-list? (quote (x y)))
passed ... (lambda-list? (quote (x y . z)))
passed ... (not (lambda-list? 1))
passed ... (nested-lambda-list? (quote (x (y . z) w)))
passed ... (nested-lambda-list? (quote (x (y . z) . w)))
passed ... (nested-lambda-list? (quote ((a (b (c (d . e)))) (y . z) . w)))
passed ... (not (nested-lambda-list? 1))
passed ... ((list-of? number?) (quote (1 2 3)))
passed ... ((list-of? number?) (quote ()))
passed ... (not ((list-of? number?) (quote (1 #f 3))))
passed ... (= (add 1) 1)
passed ... (= (add 1 2) 3)
passed ... (condition-case (add 1 2 3) (var () (if (contract-condition? var) #t #f)))
passed ... (equal? (call-with-values (lambda () (quotient+remainder 5 3)) list) (quote (1 2)))
passed ... (= (begin (adder! 5) (adder)) 5)
passed ... (= (begin (adder! 3) (adder)) 8)
passed ... (single? (single 3))
passed ... (single? sg)
passed ... (not (single? 5))
passed ... (= (single-ref sg) 5)
passed ... (= (begin (single-set! sg 3) (single-ref sg)) 3)
passed ... (= ((alambda (n) (if (zero? n) 1 (* n (self (- n 1))))) 5) 120)
passed ... (not (ior))
passed ... (not (ior #f #f))
passed ... (= (ior #f 2) 2)
passed ... (= ((efreeze 3)) 3)
passed ... (= ((ifreeze 3)) 3)
passed ... (= ((sfreeze 3)) 3)
-----------
All tests passed