diff options
| author | Alasdair Armstrong | 2017-08-14 17:11:16 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-14 17:11:16 +0100 |
| commit | f05423c1947df0432362172ba9cfd00c4b8680c0 (patch) | |
| tree | b86d71669731f2f02aa6d2a752ac9d474ede1cab /src/test | |
| parent | 96642bd568bd76d79ab3cc82aa66288e022467ab (diff) | |
| parent | 1a94f80b5d518e9d79daf9b253331d5b7936761f (diff) | |
Merge remote-tracking branch 'origin/master' into experiments
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/lib/run_test_interp.ml | 2 |
1 files changed, 1 insertions, 1 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 () ;; |