diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/lib/run_test_interp.ml | 2 | ||||
| -rw-r--r-- | src/test/pattern.sail | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/test/lib/run_test_interp.ml b/src/test/lib/run_test_interp.ml index 3446ef9f..5f2ace1b 100644 --- a/src/test/lib/run_test_interp.ml +++ b/src/test/lib/run_test_interp.ml @@ -45,7 +45,7 @@ open Interp_inter_imp ;; open Sail_impl_base ;; let doit () = - let context = build_context Test_lem_ast.defs [] [] [] [] [] [] [] None [] in + let context = build_context false Test_lem_ast.defs [] [] [] [] [] [] [] None [] in translate_address context E_little_endian "run" None (address_of_integer (Nat_big_num.of_int 0));; doit () ;; diff --git a/src/test/pattern.sail b/src/test/pattern.sail index cabe7dad..97e5a0ef 100644 --- a/src/test/pattern.sail +++ b/src/test/pattern.sail @@ -4,9 +4,9 @@ register nat x register nat y typedef wordsize = forall Nat 'n, 'n IN {8,16,32}. [|'n|] -let forall Nat 'n. (wordsize<'n>) word = 8 +(* let forall Nat 'n. (wordsize<'n>) word = 8 *) -function nat main _ = { +function nat main () = { (* works - x and y are set to 42 *) n := 1; |