1 files changed, 12 insertions, 0 deletions
diff --git a/test/c/bv_literal.sail b/test/c/bv_literal.sail
new file mode 100644
index 00000000..1955b5dd
--- /dev/null
+++ b/test/c/bv_literal.sail
@@ -0,0 +1,12 @@
+
+default Order dec
+
+val "print_bits" : forall 'n. (string, vector('n, dec, bit)) -> unit
+
+val main : unit -> unit
+
+function main () = {
+  let x : bit = bitone;
+  let y : vector(4, dec, bit) = [x, bitone, bitzero, x];
+  print_bits("y = ", y);
+}
+\ No newline at end of file