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