Skip to content

Commit a6bfb3a

Browse files
committed
minor: turn into test
1 parent 7b8ac4f commit a6bfb3a

1 file changed

Lines changed: 9 additions & 7 deletions

File tree

tests/applications/metaKanren.rkt

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -495,13 +495,15 @@ Syntax
495495

496496
;; tests
497497

498-
(run 1 (res)
499-
(staged
500-
(eval-programo
501-
`(run* (z)
502-
(letrec-rel ((unify-2 (z) (== z '2)))
503-
(call-rel unify-2 z)))
504-
res)))
498+
(time-test
499+
(run 1 (res)
500+
(staged
501+
(eval-programo
502+
`(run* (z)
503+
(letrec-rel ((unify-2 (z) (== z '2)))
504+
(call-rel unify-2 z)))
505+
res)))
506+
'((2)))
505507

506508

507509

0 commit comments

Comments
 (0)