diff options
Diffstat (limited to 'test/smt/basic_1.sat.sail')
| -rw-r--r-- | test/smt/basic_1.sat.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/smt/basic_1.sat.sail b/test/smt/basic_1.sat.sail index d40c5a59..a4c79660 100644 --- a/test/smt/basic_1.sat.sail +++ b/test/smt/basic_1.sat.sail @@ -15,7 +15,8 @@ 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 = 0x007F } else { |