diff options
Diffstat (limited to 'test/smt/zeros_1.sat.sail')
| -rw-r--r-- | test/smt/zeros_1.sat.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/smt/zeros_1.sat.sail b/test/smt/zeros_1.sat.sail new file mode 100644 index 00000000..4a813dcc --- /dev/null +++ b/test/smt/zeros_1.sat.sail @@ -0,0 +1,7 @@ +default Order dec + +$include <vector_dec.sail> + +function check_sat((): unit) -> bool = { + 0x00 == sail_zeros(8) +}
\ No newline at end of file |