summaryrefslogtreecommitdiff
path: root/test/c
diff options
context:
space:
mode:
authorAlasdair2019-02-01 21:51:02 +0000
committerAlasdair2019-02-01 21:51:02 +0000
commit3532bc0bbc9015de6d1734ecaf9240b389a5a1e7 (patch)
treea64ae4b5572d0e764db5a1bd1ebd6a19a9e6e9f0 /test/c
parent049eeeb22321552f8aa73285cfb92bf50933e3a3 (diff)
Add test cases for integer synonyms
Diffstat (limited to 'test/c')
-rw-r--r--test/c/nexp_synonym.expect1
-rw-r--r--test/c/nexp_synonym.sail11
2 files changed, 12 insertions, 0 deletions
diff --git a/test/c/nexp_synonym.expect b/test/c/nexp_synonym.expect
new file mode 100644
index 00000000..880c3ee3
--- /dev/null
+++ b/test/c/nexp_synonym.expect
@@ -0,0 +1 @@
+v = 0xFFFFFFFF
diff --git a/test/c/nexp_synonym.sail b/test/c/nexp_synonym.sail
new file mode 100644
index 00000000..b908b265
--- /dev/null
+++ b/test/c/nexp_synonym.sail
@@ -0,0 +1,11 @@
+default Order dec
+
+$include <prelude.sail>
+
+type LEN : Int = 32
+
+let v : bits(LEN) = 0xFFFF_FFFF
+
+function main((): unit) -> unit = {
+ print_bits("v = ", v)
+} \ No newline at end of file