1 files changed, 25 insertions, 0 deletions
diff --git a/test/smt/basic_1.sat.sail b/test/smt/basic_1.sat.sail
new file mode 100644
index 00000000..d40c5a59
--- /dev/null
+++ b/test/smt/basic_1.sat.sail
@@ -0,0 +1,25 @@
+default Order dec
+
+$include <flow.sail>
+$include <arith.sail>
+$include <vector_dec.sail>
+
+enum E = A | B | C
+
+struct S = {
+  field1 : bits(8),
+  field2 : bits(16),
+  field3 : E
+}
+
+register R1 : bits(16)
+register R2 : bits(8)
+
+function check_sat(x: bool) -> bool = {
+  if x then {
+    R1 = 0x007F
+  } else {
+    R1 = 0xFFFF
+  };
+  R1 == sail_zero_extend(R2, 16)
+}