From 535ad4d1fb87c6ecb48363ffb5e23dc6f1d64967 Mon Sep 17 00:00:00 2001 From: dvanhorn Date: Mon, 2 Dec 2024 21:17:15 +0000 Subject: [PATCH] crook --- iniquity-plus/correct.rkt | 10 ++++++++++ knock-plus/correct.rkt | 10 ++++++++++ 2 files changed, 20 insertions(+) create mode 100644 iniquity-plus/correct.rkt create mode 100644 knock-plus/correct.rkt diff --git a/iniquity-plus/correct.rkt b/iniquity-plus/correct.rkt new file mode 100644 index 0000000..df76199 --- /dev/null +++ b/iniquity-plus/correct.rkt @@ -0,0 +1,10 @@ +#lang racket +(provide check-compiler) +(require rackunit) +(require "interp-io.rkt") +(require "exec-io.rkt") +;; ClosedExpr String -> Void +(define (check-compiler e i) + (check-equal? (interp/io e i) + (exec/io e i))) + diff --git a/knock-plus/correct.rkt b/knock-plus/correct.rkt new file mode 100644 index 0000000..df76199 --- /dev/null +++ b/knock-plus/correct.rkt @@ -0,0 +1,10 @@ +#lang racket +(provide check-compiler) +(require rackunit) +(require "interp-io.rkt") +(require "exec-io.rkt") +;; ClosedExpr String -> Void +(define (check-compiler e i) + (check-equal? (interp/io e i) + (exec/io e i))) +