Merge pull request #20 from cmsc430/crook

crook
cmsc430 · Dec 2, 2024 · 23b9110 · 23b9110
2 parents 7b4a99b + 298be8d
commit 23b9110
Show file tree

Hide file tree

Showing 14 changed files with 149 additions and 10 deletions.
diff --git a/abscond/correct.rkt b/abscond/correct.rkt
@@ -0,0 +1,11 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp.rkt")
+(require "exec.rkt")
+
+;; Expr -> Void
+(define (check-compiler e)
+  (check-equal? (interp e)
+                (exec e)))
+
diff --git a/blackmail/correct.rkt b/blackmail/correct.rkt
@@ -0,0 +1,11 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp.rkt")
+(require "exec.rkt")
+
+;; Expr -> Void
+(define (check-compiler e)
+  (check-equal? (interp e)
+                (exec e)))
+
diff --git a/con/correct.rkt b/con/correct.rkt
@@ -0,0 +1,11 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp.rkt")
+(require "exec.rkt")
+
+;; Expr -> Void
+(define (check-compiler e)
+  (check-equal? (interp e)
+                (exec e)))
+
diff --git a/dodger/correct.rkt b/dodger/correct.rkt
@@ -0,0 +1,13 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp.rkt")
+(require "exec.rkt")
+
+;; Expr -> Void
+(define (check-compiler e)
+  (let ((r (with-handlers ([exn:fail? identity])
+             (interp e))))
+    (unless (exn? r)
+      (check-equal? r (exec e)))))
+
diff --git a/dupe/correct.rkt b/dupe/correct.rkt
@@ -1,12 +1,13 @@
 #lang racket
-(provide (all-defined-out))
-(require rackunit
-         "interp.rkt"
-         "compile.rkt"
-         "types.rkt"
-         a86/interp)
+(provide check-compiler)
+(require rackunit)
+(require "interp.rkt")
+(require "exec.rkt")
+
+;; Expr -> Void
+(define (check-compiler e)
+  (let ((r (with-handlers ([exn:fail? identity])
+             (interp e))))
+    (unless (exn? r)
+      (check-equal? r (exec e)))))
 
-(define (check-correctness e)
-  (with-handlers ([exn:fail? void])
-    (check-eqv? (interp e)
-                (bits->value (asm-interp (compile e))))))
diff --git a/evildoer/correct.rkt b/evildoer/correct.rkt
@@ -0,0 +1,12 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp-io.rkt")
+(require "exec-io.rkt")
+;; Expr String -> Void
+(define (check-compiler e i)
+  (let ((r (with-handlers ([exn:fail? identity])
+             (interp/io e i))))
+    (unless (exn? r)
+      (check-equal? r (exec/io e i)))))
+
diff --git a/extort/correct.rkt b/extort/correct.rkt
@@ -0,0 +1,10 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp-io.rkt")
+(require "exec-io.rkt")
+;; Expr String -> Void
+(define (check-compiler e i)
+  (check-equal? (interp/io e i)
+                (exec/io e i)))
+
diff --git a/fraud/correct.rkt b/fraud/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/hoax/correct.rkt b/hoax/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/hustle/correct.rkt b/hustle/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/iniquity/correct.rkt b/iniquity/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/jig/correct.rkt b/jig/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/correct.rkt b/knock/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/loot/correct.rkt b/loot/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)))
+