source: project/release/5/simple-tests/trunk/tests/run.scm @ 38612

Last change on this file since 38612 was 38612, checked in by juergen, 5 months ago

simple-tests-2.0.3 state-changing functions now accepted

File size: 1.3 KB
Line 
1(import simple-tests)
2
3;;; old interface
4
5(define-test (bar n)
6  (positive? n)
7  (even? n))
8
9(define-test (foo x y)
10  (< x y)
11  "COMMENT"
12  (bar 4)
13  (odd? 3)
14  (positive? 3))
15
16(define-test (++)
17  (= (+ 1 2) 3)
18  (= (+ 1 2 3) 6))
19
20(define-test (**)
21  (= (* 1 2) 2)
22  (= (* 1 2 3) 6))
23
24(define-test (arithmetic)
25  (++)
26  (**))
27
28(define-test (baz)
29  (and? #t #t #t)
30  (and?)
31  (not (and? #t #f #t)))
32
33
34;(compound-test (simple-tests)
35;  (baz)
36;  (arithmetic?)
37;  (foo 1 2)
38;  )
39
40;;; new interface
41
42(define-checks (bar? verbose? n 5)
43  (positive? n) #t
44  (even? n) #f)
45
46(define-checks (+? verbose?)
47  (+ 1 2) 3
48  (+ 1 2 3) 6)
49
50(define-checks (*? verbose?)
51  (* 1 2) 2
52  (* 1 2 3) 6)
53
54(define-checks (arithmetic? verbose?)
55  (+? #f) #t
56  (*? #f) #t)
57
58(define-checks (baz? verbose?)
59  (and? #t #t #t) #t
60  (and?) #t
61  (and? #t #f #t) #f)
62
63(define-checks (qux? verbose?)
64  ((== "x") "y") #f
65  ((== "x") "x") #t
66  ((== baz?) baz?) #t
67  ((== baz?) bar) #f
68  ((== '()) '()) #t
69  ((== 'x) 'y) #f
70  ((== 'x) 'x) #t
71  ((== #(0 1 2)) #(0 1 2)) #t
72  ((== #(0 1 2)) '(0 1 2)) #f
73  )
74
75(define counter
76  (let ((n 0))
77    (lambda ()
78      (set! n (add1 n))
79      n)))
80
81(define-checks (counter? verbose?)
82  (counter) 1
83  (counter) 2
84  (counter) 3
85  (counter) 4
86  )
87
88
89(check-all SIMPLE (bar?) (*?) (+?) (arithmetic?) (baz?) (qux?)
90           (counter?))
Note: See TracBrowser for help on using the repository browser.