diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 4 |
1 files 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 |