add test snapshots

HigherOrderCO · Aug 5, 2024 · 9c58be2 · 9c58be2
1 parent b802f0b
commit 9c58be2
Show file tree

Hide file tree

Showing 6 changed files with 33 additions and 3 deletions.
diff --git a/tests/snapshots/run__io_file@demo_io__main.hvm.snap b/tests/snapshots/run__io_file@demo_io__main.hvm.snap
@@ -3,6 +3,5 @@ source: tests/run.rs
 expression: c_output
 input_file: examples/demo_io/main.hvm
 ---
-What is your name?
-io fr from
-Result: 42
+Higher-order Virtual Machine 2
+Result: ((@IO/Done/tag (@IO/MAGIC (((0 (* x0)) x0) x1))) x1)
diff --git a/tests/snapshots/run__io_file@io__basic.hvm.snap b/tests/snapshots/run__io_file@io__basic.hvm.snap
@@ -0,0 +1,7 @@
+---
+source: tests/run.rs
+expression: c_output
+input_file: tests/programs/io/basic.hvm
+---
+Higher-order Virtual Machine 2
+Result: ((@IO/Done/tag (@IO/MAGIC (((0 (* x0)) x0) x1))) x1)
diff --git a/tests/snapshots/run__io_file@io__invalid-name.hvm.snap b/tests/snapshots/run__io_file@io__invalid-name.hvm.snap
@@ -0,0 +1,6 @@
+---
+source: tests/run.rs
+expression: c_output
+input_file: tests/programs/io/invalid-name.hvm
+---
+Result: ((@IO/Done/tag (@IO/MAGIC (((1 (((1 x0) x0) x1)) x1) x2))) x2)
diff --git a/tests/snapshots/run__io_file@io__open1.hvm.snap b/tests/snapshots/run__io_file@io__open1.hvm.snap
@@ -0,0 +1,6 @@
+---
+source: tests/run.rs
+expression: c_output
+input_file: tests/programs/io/open1.hvm
+---
+Result: ((@IO/Done/tag (@IO/MAGIC (((0 (3 x0)) x0) x1))) x1)
diff --git a/tests/snapshots/run__io_file@io__open2.hvm.snap b/tests/snapshots/run__io_file@io__open2.hvm.snap
@@ -0,0 +1,6 @@
+---
+source: tests/run.rs
+expression: c_output
+input_file: tests/programs/io/open2.hvm
+---
+Result: ((@IO/Done/tag (@IO/MAGIC (((1 (((2 (+2 x0)) x0) x1)) x1) x2))) x2)
diff --git a/tests/snapshots/run__io_file@io__open3.hvm.snap b/tests/snapshots/run__io_file@io__open3.hvm.snap
@@ -0,0 +1,6 @@
+---
+source: tests/run.rs
+expression: c_output
+input_file: tests/programs/io/open3.hvm
+---
+Result: ((@IO/Done/tag (@IO/MAGIC (((1 (((0 x0) x0) x1)) x1) x2))) x2)