Skip to content

Commit 927c085

Browse files
committed
removed stuck? feature from baseline
1 parent 4b95288 commit 927c085

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

infra/run-baseline.rkt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -139,8 +139,8 @@
139139
(define distance ((discretization-distance disc) lo hi))
140140
(unless (= distance 0)
141141
(set! done? #f)
142-
(when (and (ival-lo-fixed? out) (ival-hi-fixed? out))
143-
(set! stuck? #t)))
142+
#;(when (and (ival-lo-fixed? out) (ival-hi-fixed? out))
143+
(set! stuck? #t)))
144144
(cond
145145
[(ival-err out) (set! bad? #t)]
146146
[(ival-err? out) (set! good? #f)])

0 commit comments

Comments
 (0)