diff options
Diffstat (limited to 'src/test/test4.sail')
| -rw-r--r-- | src/test/test4.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/test4.sail b/src/test/test4.sail index 50f3fa71..36cb271a 100644 --- a/src/test/test4.sail +++ b/src/test/test4.sail @@ -24,7 +24,7 @@ function unit good2 ((nat) RA ) = yielding to_num_inc(GPR0) instead of to_num_inc(0b0) *) function unit bad ((bit[1]) RA ) = { - LOG(0) := "bad"; + LOG(0) := "oldbad"; (nat) x := GPR[RA]; } @@ -42,7 +42,7 @@ let (vector <0, 2, inc, (register<bit >)>) DCR = [ DCR0, DCR1 ] expression *) function unit bad2 ((bit[1]) RA ) = { - LOG(0) := "bad2"; + LOG(0) := "oldbad2"; (nat) x := DCR[RA]; } |