Add test cases

rems-project · Dec 2, 2023 · c86472b · c86472b
1 parent 94eef8e
commit c86472b
Show file tree

Hide file tree

Showing 4 changed files with 34 additions and 0 deletions.
diff --git a/test/c/set_struct.expect b/test/c/set_struct.expect
@@ -0,0 +1 @@
+ok
diff --git a/test/c/set_struct.sail b/test/c/set_struct.sail
@@ -0,0 +1,13 @@
+default Order dec
+
+$option -undefined_gen
+
+$include <prelude.sail>
+
+struct S = {
+  f1 : {0, 1}
+}
+
+function main() -> unit = {
+  print_endline("ok");
+}
diff --git a/test/c/set_struct2.expect b/test/c/set_struct2.expect
@@ -0,0 +1 @@
+ok
diff --git a/test/c/set_struct2.sail b/test/c/set_struct2.sail
@@ -0,0 +1,19 @@
+default Order dec
+
+$option -undefined_gen
+
+$include <prelude.sail>
+
+$[undefined_gen skip]
+struct S = {
+  f1 : {0, 1}
+}
+
+val undefined_S : unit -> S
+
+function undefined_S() = struct { f1 = 0 }
+
+function main() -> unit = {
+  let _ : S = undefined;
+  print_endline("ok");
+}