diff options
Diffstat (limited to 'test/smt/update_access.unsat.sail')
| -rw-r--r-- | test/smt/update_access.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/update_access.unsat.sail b/test/smt/update_access.unsat.sail index 26411ff0..38a25d99 100644 --- a/test/smt/update_access.unsat.sail +++ b/test/smt/update_access.unsat.sail @@ -2,11 +2,12 @@ default Order dec $include <vector_dec.sail> -function check_sat(xs: bits(65), x: bit) -> bool = { +$property +function prop(xs: bits(65), x: bit) -> bool = { ys = xs; ys[63] = x; ys[64] = x; ys[42] = x; ys[0] = x; - not_bool(ys[64] == x & ys[63] == x & ys[42] == x & ys[0] == x) + ys[64] == x & ys[63] == x & ys[42] == x & ys[0] == x }
\ No newline at end of file |