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