diff options
Diffstat (limited to 'test/mono/builtins.sail')
| -rw-r--r-- | test/mono/builtins.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/mono/builtins.sail b/test/mono/builtins.sail index 770259be..8f00ac56 100644 --- a/test/mono/builtins.sail +++ b/test/mono/builtins.sail @@ -1,9 +1,10 @@ +default Order dec + $include <smt.sail> $include <arith.sail> $include <flow.sail> $include <vector_dec.sail> -default Order dec val neq_vec = {lem: "neq_vec"} : forall 'n. (bits('n), bits('n)) -> bool function neq_vec (x, y) = not_bool(x == y) overload operator != = {neq_vec} |