suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

changed result of check-expect

Browse Source 
svn: r11721
This commit is contained in:
John Clements 2008-09-13 06:32:42 +00:00
parent 7d5e704058
commit bafd239ef0
1 changed files with 22 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
collects/tests/stepper/through-tests.ss
View File

@ -101,7 +101,7 @@
(for-each (lambda (fn) (apply fn args)) level-fns))) (for-each (lambda (fn) (apply fn args)) level-fns)))
(define test-mz-sequence (define test-mz-sequence
(lang-level-test-sequence 'scheme/base fake-mz-render-settings #t #f)) (lang-level-test-sequence 'mzscheme fake-mz-render-settings #t #f))
(define test-beginner-sequence (define test-beginner-sequence
(lang-level-test-sequence `(lib "htdp-beginner.ss" "lang") (lang-level-test-sequence `(lib "htdp-beginner.ss" "lang")
fake-beginner-render-settings #f #t)) fake-beginner-render-settings #f #t))
@ -1354,19 +1354,14 @@
; (custodian-shutdown-all new-custodian)) ; (custodian-shutdown-all new-custodian))
)) ))
(t1 check-expect
(test-bwla-to-int/lam (t check-expect test-bwla-to-int/lam
"(check-expect (+ 3 4) (+ 8 9)) (check-expect (+ 1 1) 2) (check-expect (+ 2 2) 4)(+ 4 5)" (check-expect (+ 3 4) (+ 8 9)) (check-expect (+ 1 1) 2) (check-expect (+ 2 2) 4) (+ 4 5)
`((before-after ((hilite (+ 4 5))) :: {(+ 4 5)} -> {9}
((hilite 9))) :: 9 (check-expect (+ 3 4) {(+ 8 9)}) -> 9 (check-expect (+ 3 4) {17})
(before-after (9 (check-expect (+ 3 4) (hilite (+ 8 9)))) :: 9 (check-expect {(+ 3 4)} 17) -> 9 (check-expect {7} 17)
(9 (check-expect (+ 3 4) (hilite 17)))) :: 9 false (check-expect {(+ 1 1)} 2) -> 9 false (check-expect {2} 2)
(before-after (9 (check-expect (hilite (+ 3 4)) 17)) :: 9 false true (check-expect {(+ 2 2)} 4) -> 9 false true (check-expect {4} 4))
(9 (check-expect (hilite 7) 17)))
(before-after (9 (list 'check-expect-failed 7 17) (check-expect (hilite (+ 1 1)) 2))
(9 (list 'check-expect-failed 7 17) (check-expect (hilite 2) 2)))
(before-after (9 (list 'check-expect-failed 7 17) (list 'check-expect-passed 2 2) (check-expect (hilite (+ 2 2)) 4))
(9 (list 'check-expect-failed 7 17) (list 'check-expect-passed 2 2) (check-expect (hilite 4) 4))))))
(t1 check-within (t1 check-within
(test-bwla-to-int/lam (test-bwla-to-int/lam
@ -1379,8 +1374,8 @@
(9 (check-within (+ 3 4) 18 (hilite 100)))) (9 (check-within (+ 3 4) 18 (hilite 100))))
(before-after (9 (check-within (hilite (+ 3 4)) 18 100)) (before-after (9 (check-within (hilite (+ 3 4)) 18 100))
(9 (check-within (hilite 7) 18 100))) (9 (check-within (hilite 7) 18 100)))
(before-after (9 (list 'check-within-passed 7 18 100) (check-expect (hilite (+ 1 1)) 2)) (before-after (9 true (check-expect (hilite (+ 1 1)) 2))
(9 (list 'check-within-passed 7 18 100) (check-expect (hilite 2) 2)))))) (9 true (check-expect (hilite 2) 2))))))
(t1 check-within-bad (t1 check-within-bad
@ -1392,8 +1387,8 @@
(9 (check-within (+ 3 4) (hilite 18) 0.01))) (9 (check-within (+ 3 4) (hilite 18) 0.01)))
(before-after (9 (check-within (hilite (+ 3 4)) 18 0.01)) (before-after (9 (check-within (hilite (+ 3 4)) 18 0.01))
(9 (check-within (hilite 7) 18 0.01))) (9 (check-within (hilite 7) 18 0.01)))
(before-after (9 (list 'check-within-failed 7 18 0.01) (check-expect (hilite (+ 1 1)) 2)) (before-after (9 false (check-expect (hilite (+ 1 1)) 2))
(9 (list 'check-within-failed 7 18 0.01) (check-expect (hilite 2) 2)))))) (9 false (check-expect (hilite 2) 2))))))
(let ([errmsg "rest: expected argument of type <non-empty list>; given ()"]) (let ([errmsg "rest: expected argument of type <non-empty list>; given ()"])
(t1 check-error (t1 check-error
@ -1405,8 +1400,8 @@
(9 (check-error (+ (+ 3 4) (rest empty)) (hilite ,errmsg)))) (9 (check-error (+ (+ 3 4) (rest empty)) (hilite ,errmsg))))
(before-after (9 (check-error (+ (hilite (+ 3 4)) (rest empty)) ,errmsg)) (before-after (9 (check-error (+ (hilite (+ 3 4)) (rest empty)) ,errmsg))
(9 (check-error (+ (hilite 7) (rest empty)) ,errmsg))) (9 (check-error (+ (hilite 7) (rest empty)) ,errmsg)))
(before-after (9 (list 'check-error-passed ,errmsg ,errmsg) (check-expect (hilite (+ 3 1)) 4)) (before-after (9 true (check-expect (hilite (+ 3 1)) 4))
(9 (list 'check-error-passed ,errmsg ,errmsg) (check-expect (hilite 4) 4))))))) (9 true (check-expect (hilite 4) 4)))))))
(t1 check-error-bad (t1 check-error-bad
(test-bwla-to-int/lam (test-bwla-to-int/lam
@ -1417,8 +1412,8 @@
(9 (check-error (+ (+ 3 4) (rest empty)) (hilite "bogus")))) (9 (check-error (+ (+ 3 4) (rest empty)) (hilite "bogus"))))
(before-after (9 (check-error (+ (hilite (+ 3 4)) (rest empty)) "bogus")) (before-after (9 (check-error (+ (hilite (+ 3 4)) (rest empty)) "bogus"))
(9 (check-error (+ (hilite 7) (rest empty)) "bogus"))) (9 (check-error (+ (hilite 7) (rest empty)) "bogus")))
(before-after (9 (list 'check-error-failed "rest: expected argument of type <non-empty list>; given ()" "bogus") (check-expect (hilite (+ 3 1)) 4)) (before-after (9 false (check-expect (hilite (+ 3 1)) 4))
(9 (list 'check-error-failed "rest: expected argument of type <non-empty list>; given ()" "bogus") (check-expect (hilite 4) 4)))))) (9 false (check-expect (hilite 4) 4))))))
; uses set-render-settings! ; uses set-render-settings!
;(reconstruct:set-render-settings! fake-beginner-render-settings) ;(reconstruct:set-render-settings! fake-beginner-render-settings)
@ -1693,4 +1688,8 @@
#;[store-steps #f] #;[store-steps #f]
#;[show-all-steps #t]) #;[show-all-steps #t])
#;(run-tests '(check-expect check-within check-within-bad check-error) #;'(#;check-expect #;check-expect-2 check-within check-within-bad check-error)) #;(run-tests '(check-expect check-within check-within-bad check-error) #;'(#;check-expect #;check-expect-2 check-within check-within-bad check-error))
(run-all-tests))) (run-tests '(check-expect check-within check-error check-error-bad))
#;(run-all-tests)))