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

Revert "eliminated bug introduced with latest revision"

Browse Source 
to cherry-pick an earlier patch first without conflict.

This reverts commit caefe1563c.
This commit is contained in:
Ryan Culpepper 2014-10-24 09:20:53 -04:00
parent 55cabee2f5
commit b86f9e677c
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
View File

@ -203,18 +203,14 @@
;; it, but it is possibly weird for students
(send (send test-engine get-info) add-check)
(run-and-check
;; check
(lambda (p? v _what-is-this?) (p? v))
;; maker
(lambda (src format v1 _v2 _) (make-satisfied-failed src format v1 property?))
;; test
test
;; expect
actual
#f
src
test-engine
(list 'check-satisfied property?)))
(lambda (v p? _what-is-this?) (p? v))
(lambda (src format v1 v2 _) (make-satisfied-failed src format v2 property?))
test
actual
#f
src
test-engine
(list 'check-satisfied property?)))
;; check-values-expected: (-> scheme-val) (-> nat scheme-val) src test-engine -> void
(define (check-random-values test actual-maker src test-engine)