test: add tests

stefanhts · May 12, 2022 · b47bddf · b47bddf
1 parent 6ecd301
commit b47bddf
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -167,3 +167,8 @@ Some specifics to note:
 - Just like in class, the cons cell starts with the `cdr` and is followed by the `car` 8 bytes later.
 - The `StoreHeap` struct requires the address to be on the stack beforehand. This is so the `car` and `cdr` can be
   stored right next to each other in memory.
+
+## Compiling a test
+
+Run `make tests/{folder}/{number}.wasm` to compile to `main.wasm` in the `server/` folder, which can then be run
+from the frontend.
diff --git a/tests/abscond/1.wkt b/tests/abscond/1.wkt
@@ -0,0 +1,2 @@
+#lang wacket
+42
diff --git a/tests/blackmail/1.wkt b/tests/blackmail/1.wkt
@@ -0,0 +1,2 @@
+#lang wacket
+(add1 41)
diff --git a/tests/blackmail/2.wkt b/tests/blackmail/2.wkt
@@ -0,0 +1,2 @@
+#lang wacket
+(add1 (sub1 42))
diff --git a/tests/con/1.wkt b/tests/con/1.wkt
@@ -0,0 +1,2 @@
+#lang wacket
+(if (zero? (add1 0)) 69 42)
diff --git a/tests/con/2.wkt b/tests/con/2.wkt
@@ -0,0 +1,2 @@
+#lang wacket
+(if (zero? 0) 42 69)