diff options
| author | Peter Sewell | 2017-05-02 16:03:07 +0100 |
|---|---|---|
| committer | Peter Sewell | 2017-05-02 16:03:07 +0100 |
| commit | d2af0123ca980b9f846db01dd1c1b44202afcb8e (patch) | |
| tree | 1644ceaff1fb88c690d44d5bed54ee5c150c0400 /src | |
| parent | 7c9528b141e6149e8c927532608b65428b89f5e4 (diff) | |
doc
Diffstat (limited to 'src')
| -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 |