Skip to content

Commit 2df7c25

Browse files
committed
Fix up the broken tests
1 parent 596ecd7 commit 2df7c25

File tree

1 file changed

+2
-6
lines changed

1 file changed

+2
-6
lines changed

src/core/egglog-herbie-tests.rkt

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -368,11 +368,7 @@
368368

369369
(define reprs (make-list (length brfs) (context-repr ctx)))
370370

371-
(define rules (*rules*))
372-
(define schedule
373-
`((lift . ((iteration . 1) (scheduler . simple)))
374-
(,rules . ((node . ,(*node-limit*)) (scheduler . simple)))
375-
(lower . ((iteration . 1) (scheduler . simple)))))
371+
(define schedule '(lift rewrite lower))
376372

377373
(when (find-executable-path "egglog")
378-
(run-egglog-multi-extractor (egglog-runner batch brfs reprs schedule ctx) batch)))
374+
(run-egglog-multi-extractor (make-egglog-runner batch brfs reprs schedule ctx) batch)))

0 commit comments

Comments
 (0)