diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 | ||||
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 518804b5..de899586 100644 --- a/src/Makefile +++ b/src/Makefile @@ -16,7 +16,7 @@ test: sail interpreter ./run_tests.native LEM = ~/bitbucket/lem/lem -LEMLIBOCAMl = ~/bitbucket/lem/ocaml-lib/_build/ +LEMLIBOCAML = ~/bitbucket/lem/ocaml-lib/_build/ install_elf: cp -p ../../system-v-abi/src/*.lem elf_model/ diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index b201723a..ce7f6e10 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -334,7 +334,10 @@ let doc_exp, doc_let = string "nondet" ^^ space ^^ (surround 2 1 lbrace exps_doc rbrace) | E_id id -> (match id with - | Id_aux(Id("0"), _) -> (*The evaluation context hole*) doc_id id + | Id_aux(Id("0"), _) -> + (match Interp.in_lenv env id with + | Interp.V_unknown -> doc_id id + | v -> string ("\x1b[1;31m[" ^ Interp.string_of_value v ^ "]\x1b[m")) | _ -> doc_id id) | E_lit lit -> doc_lit lit | E_cast(typ,e) -> |