Update example-during-criterion-snapshotting.rkt

This commit is contained in:
Tony Garnock-Jones 2018-04-29 21:48:49 +01:00
parent 06224b52a8
commit f64ad8389a
1 changed files with 3 additions and 2 deletions

View File

@ -10,7 +10,7 @@
;; Correct output:
;; x=123 v=999
;; x=124 v=999
;; finally for x=124 v=999
;; finally for x0=123 x=124 v=999
;;
;; Should eventually be turned into some kind of test case.
@ -19,7 +19,8 @@
(spawn (field [x 123])
(assert (foo (x) 999))
(during (foo (x) $v)
(define x0 (x))
(log-info "x=~a v=~a" (x) v)
(when (= (x) 123) (x 124))
(on-stop
(log-info "finally for x=~a v=~a" (x) v))))
(log-info "finally for x0=~a x=~a v=~a" x0 (x) v))))