diff options
Diffstat (limited to 'test/mono/union-exist.sail')
| -rw-r--r-- | test/mono/union-exist.sail | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/mono/union-exist.sail b/test/mono/union-exist.sail index 9ec3ee33..f1e01e75 100644 --- a/test/mono/union-exist.sail +++ b/test/mono/union-exist.sail @@ -28,11 +28,11 @@ val use : myunion -> bits(32) function use(MyConstr((n,v) as (atom('n),bits('n)))) = extz(v) -val run : unit -> bool +val run : unit -> unit effect {escape} function run () = { - use(make(0b00)) == 0x00000012 & - use(make(0b01)) == 0x00001234 & - use(make(0b10)) == 0x00000056 & - use(make(0b11)) == 0x00005678 + assert(use(make(0b00)) == 0x00000012); + assert(use(make(0b01)) == 0x00001234); + assert(use(make(0b10)) == 0x00000056); + assert(use(make(0b11)) == 0x00005678); } |