diff options
Diffstat (limited to 'test/smt/zeros_3.unsat.sail')
| -rw-r--r-- | test/smt/zeros_3.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/zeros_3.unsat.sail b/test/smt/zeros_3.unsat.sail index 145ab386..0c271660 100644 --- a/test/smt/zeros_3.unsat.sail +++ b/test/smt/zeros_3.unsat.sail @@ -2,6 +2,7 @@ default Order dec $include <vector_dec.sail> -function check_sat((): unit) -> bool = { - 0x0000_0000_0000_0000_1 == sail_zeros(68) +$property +function prop((): unit) -> bool = { + 0x0000_0000_0000_0000_1 != sail_zeros(68) }
\ No newline at end of file |