diff options
Diffstat (limited to 'test/mono')
| -rw-r--r-- | test/mono/assert.sail | 4 | ||||
| -rw-r--r-- | test/mono/times8div8.sail | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/mono/assert.sail b/test/mono/assert.sail index ea286e93..46892956 100644 --- a/test/mono/assert.sail +++ b/test/mono/assert.sail @@ -24,7 +24,7 @@ function f(n,m) = { val f' : forall 'n 'm. (atom('n), atom('m)) -> unit effect {escape} function f'(n,m) = { - assert(constraint(('n = 8 | 'n = 16) & 'm < 'n), "nconstraint"); + assert(constraint(('n == 8 | 'n == 16) & 'm < 'n), "nconstraint"); let 'p = 2 * n in let x : bits('p) = replicate_bits(0b0,'p) in () @@ -54,4 +54,4 @@ function run () = { f'(8,3); g(16,3); h(8,3); -}
\ No newline at end of file +} diff --git a/test/mono/times8div8.sail b/test/mono/times8div8.sail index 240bbfc6..31f63fda 100644 --- a/test/mono/times8div8.sail +++ b/test/mono/times8div8.sail @@ -35,7 +35,7 @@ function f(n) = { assert(constraint('n in {8,16})); x : bits('n) = undefined; let 'm : {'o, true. atom('o)} = ex_int(n / 8) in { - assert(constraint(8 * 'm = 'n)); + assert(constraint(8 * 'm == 'n)); x = replicate_bits(0b00000000,'m); accept(m,x); accept(m,replicate_bits(0b00000000,'m)); @@ -51,7 +51,7 @@ val g : forall 'm 'n. (atom('m), atom('n), bits('n)) -> unit effect {escape} function g(m,n,v) = { assert(constraint('m >= 0 & 'n >= 0)); let 'o : {'p, true. atom('p)} = ex_int(m / n) in { - assert(constraint('o * 'n = 'm)); + assert(constraint('o * 'n == 'm)); accept2(replicate_bits(v,o)) } } |