diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test2.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index 0add0c94..57542d3f 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,11 +1,14 @@ function nat id ( n ) = n +register (bit[5]) c + function unit f() = { (if( true ) then a := (nat) (3 + 0b01) mod 4 else a := 4 ); + c := (bit[5]) (3 + 0b00001) mod 2; b := a; } |