diff options
Diffstat (limited to 'test/smt/basic_2.unsat.sail')
| -rw-r--r-- | test/smt/basic_2.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/basic_2.unsat.sail b/test/smt/basic_2.unsat.sail index 1f3d8488..e87beec2 100644 --- a/test/smt/basic_2.unsat.sail +++ b/test/smt/basic_2.unsat.sail @@ -15,11 +15,12 @@ struct S = { register R1 : bits(16) register R2 : bits(8) -function check_sat(x: bool) -> bool = { +$property +function prop(x: bool) -> bool = { if x then { R1 = 0x01FF } else { R1 = 0xFFFF }; - R1 == sail_zero_extend(R2, 16) + R1 != sail_zero_extend(R2, 16) } |