File tree Expand file tree Collapse file tree 1 file changed +5
-6
lines changed
Expand file tree Collapse file tree 1 file changed +5
-6
lines changed Original file line number Diff line number Diff line change 104104 (match-define (list res* hint* converged?*) (rival-analyze machine hyperrect hint))
105105
106106 (with-check-info (['hyperrect hyperrect] ['hint hint])
107- (check-equal? hint hint*)
108- (check-equal? res res*)
109- (check-equal? converged? converged?*))
107+ (check-equal? hint hint*)
108+ (check-equal? res res*)
109+ (check-equal? converged? converged?*))
110110
111111 (for ([_ (in-range number-of-random-pts-per-rect)])
112112 (define pt (sample-pts hyperrect))
113113 (define-values (no-hint-cnt* hint-cnt*)
114- (with-check-info (['pt pt] ['hint hint])
115- (rival-check-hint machine hint pt)))
114+ (with-check-info (['pt pt] ['hint hint]) (rival-check-hint machine hint pt)))
116115 (set! hint-cnt (+ hint-cnt hint-cnt*))
117116 (set! no-hint-cnt (+ no-hint-cnt no-hint-cnt*))))
118117 (define skipped-percentage (* (/ hint-cnt no-hint-cnt) 100 ))
125124 (define machine (rival-compile expressions vars discs))
126125 (define skipped-instr
127126 (with-check-info (['expressions expressions])
128- (hints-random-checks machine (first rect) (second rect) varc)))
127+ (hints-random-checks machine (first rect) (second rect) varc)))
129128 (check-true (< skipped-instr 99 )
130129 (format "Almost no instructions got skipped by hint at ~a " expressions)))
131130
You can’t perform that action at this time.
0 commit comments