From d2af0123ca980b9f846db01dd1c1b44202afcb8e Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 2 May 2017 16:03:07 +0100
Subject: doc

---
 src/lem_interp/sail_impl_base.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem
index e4003a10..02d53896 100644
--- a/src/lem_interp/sail_impl_base.lem
+++ b/src/lem_interp/sail_impl_base.lem
@@ -64,8 +64,8 @@ type bit =
 type bit_lifted = 
   | Bitl_zero
   | Bitl_one
-  | Bitl_undef
-  | Bitl_unknown
+  | Bitl_undef    (* used for modelling h/w arch unspecified bits *)
+  | Bitl_unknown  (* used for interpreter analysis exhaustive execution *)
 
 type direction = 
   | D_increasing
-- 
cgit v1.2.3