diff options
Diffstat (limited to 'src/test/test3.sail')
| -rw-r--r-- | src/test/test3.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 06086dd7..3a806f41 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -48,7 +48,7 @@ function nat main _ = { dummy_reg := (deinfix +)(5, 37); (* casts and external calls *) dummy_reg := 0b01 + 0b01; - dummy_reg2 := dummy_reg; (* cast from [|256|] to bit[8] *) + dummy_reg2 := 0b00000001; dummy_reg2 := dummy_reg2 + dummy_reg2; (* cast to nat for add call *) dummy_reg2; (* cast again and return 4 *) } |