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

...

Browse Source 
svn: r9581
This commit is contained in:
John Clements 2008-05-01 23:50:11 +00:00
parent d14b6d12d2
commit 88af65987e
1 changed files with 42 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1357,50 +1357,53 @@
(t1 check-expect (t1 check-expect
(test-upto-int/lam (test-upto-int/lam
"(check-expect (+ 3 4) (+ 8 9)) (+ 4 5)" "(check-expect (+ 3 4) (+ 8 9)) (+ 4 5)"
`((before-after ((check-expect (+ 3 4) (hilite (+ 8 9)))) `((before-after ((hilite (+ 4 5)))
((check-expect (+ 3 4) (hilite 17)))) ((hilite 9)))
(before-after ((check-expect (hilite (+ 3 4)) 17)) (before-after (9 (check-expect (+ 3 4) (hilite (+ 8 9))))
((check-expect (hilite 7) 17))) (9 (check-expect (+ 3 4) (hilite 17))))
(before-after ((finished-test-case) (hilite (+ 4 5))) (before-after (9 (check-expect (hilite (+ 3 4)) 17))
((finished-test-case) (hilite 9)))))) (9 (check-expect (hilite 7) 17))))))
(t1 check-expect-2
(test-upto-int/lam
"(check-expect (+ 3 4) (+ 8 9)) (check-expect (+ 3 1) 4) (+ 4 5)"
`((before-after ((hilite (+ 4 5)))
((hilite 9)))
(before-after (9 (check-expect (+ 3 4) (hilite (+ 8 9))))
(9 (check-expect (+ 3 4) (hilite 17))))
(before-after (9 (check-expect (hilite (+ 3 4)) 17))
(9 (check-expect (hilite 7) 17)))
(before-after (9 (check-expect (hilite (+ 3 1)) 4))
(9 (check-expect (hilite 4) 4))))))
#;(t1 check-expect
(test-teachpack-sequence
`(htdp/testing)
"(check-expect (+ 3 4) (+ 8 9)) (+ 4 5)"
`((before-after ((check-expect (+ 3 4) (hilite (+ 8 9))))
((check-expect (+ 3 4) (hilite 17))))
(before-after ((check-expect (hilite (+ 3 4)) 17))
((check-expect (hilite 7) 17)))
(before-after ((finished-test-case) (hilite (+ 4 5)))
((finished-test-case) (hilite 9))))))
(t1 check-within (t1 check-within
(test-teachpack-sequence (test-upto-int/lam
`(htdp/testing)
"(check-within (+ 3 4) (+ 8 10) (+ 10 90)) (+ 4 5)" "(check-within (+ 3 4) (+ 8 10) (+ 10 90)) (+ 4 5)"
`((before-after ((check-within (+ 3 4) (hilite (+ 8 10)) (+ 10 90))) `((before-after ((hilite (+ 4 5)))
((check-within (+ 3 4) (hilite 18) (+ 10 90)))) ((hilite 9)))
(before-after ((check-within (+ 3 4) 18 (hilite (+ 10 90)))) (before-after (9 (check-within (+ 3 4) (hilite (+ 8 10)) (+ 10 90)))
((check-within (+ 3 4) 18 (hilite 100)))) (9 (check-within (+ 3 4) (hilite 18) (+ 10 90))))
(before-after ((check-within (hilite (+ 3 4)) 18 100)) (before-after (9 (check-within (+ 3 4) 18 (hilite (+ 10 90))))
((check-within (hilite 7) 18 100))) (9 (check-within (+ 3 4) 18 (hilite 100))))
(before-after ((finished-test-case) (hilite (+ 4 5))) (before-after (9 (check-within (hilite (+ 3 4)) 18 100))
((finished-test-case) (hilite 9)))))) (9 (check-within (hilite 7) 18 100))))))
(t1 check-error (t1 check-error
(test-teachpack-sequence (test-upto-int/lam
`(htdp/testing) "(check-error (+ (+ 3 4) (rest empty)) (string-append \"b\" \"ogus\")) (check-expect (+ 3 1) 4) (+ 4 5)"
"(check-error (+ (+ 3 4) (rest empty)) (string-append \"b\" \"ogus\")) (+ 4 5)" `((before-after ((hilite (+ 4 5)))
`((before-after ((check-error (+ (+ 3 4) (rest empty)) (hilite (string-append "b" "ogus")))) ((hilite 9)))
((check-error (+ (+ 3 4) (rest empty)) (hilite "bogus")))) (before-after (9 (check-error (+ (+ 3 4) (rest empty)) (hilite (string-append "b" "ogus"))))
(before-after ((check-error (+ (hilite (+ 3 4)) (rest empty)) "bogus")) (9 (check-error (+ (+ 3 4) (rest empty)) (hilite "bogus"))))
((check-error (+ (hilite 7) (rest empty)) "bogus"))) (before-after (9 (check-error (+ (hilite (+ 3 4)) (rest empty)) "bogus"))
(9 (check-error (+ (hilite 7) (rest empty)) "bogus")))
(before-after (9 (check-expect (hilite (+ 3 1)) 4))
(9 (check-expect 4 4)))
#;(before-after ((check-error (+ 7 (hilite (rest empty))) "bogus")) #;(before-after ((check-error (+ 7 (hilite (rest empty))) "bogus"))
((check-error-string "crunch!" "bogus"))) ((check-error-string "crunch!" "bogus"))))))
(before-after ((finished-test-case) (hilite (+ 4 5)))
((finished-test-case) (hilite 9))))))
; uses set-render-settings! ; uses set-render-settings!
;(reconstruct:set-render-settings! fake-beginner-render-settings) ;(reconstruct:set-render-settings! fake-beginner-render-settings)
@ -1672,8 +1675,9 @@
(define (ggg) (define (ggg)
(parameterize ([disable-stepper-error-handling #t] (parameterize ([disable-stepper-error-handling #t]
#;[display-only-errors #f] #;[display-only-errors #f]
#;[store-steps #f]) #;[store-steps #f]
(run-tests '(check-expect)))) [show-all-steps #t])
(run-tests '(check-expect check-expect-2 check-within check-error))))