Skip to content

Commit e4c08af

Browse files
committed
added stuck? optimization back to baseline
1 parent 3586e72 commit e4c08af

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

infra/run-baseline.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -143,7 +143,7 @@
143143
(define distance ((discretization-distance disc) lo hi))
144144
(unless (= distance 0)
145145
(set! done? #f)
146-
#;(when (and (ival-lo-fixed? out) (ival-hi-fixed? out))
146+
(when (and (ival-lo-fixed? out) (ival-hi-fixed? out))
147147
(set! stuck? #t)))
148148
(cond
149149
[(ival-err out) (set! bad? #t)]

0 commit comments

Comments
 (0)