diff options
| author | Kathy Gray | 2014-08-27 17:23:19 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-27 17:23:30 +0100 |
| commit | b3faf7253fbbc1bc5708881eb7ee3d266ad8e99d (patch) | |
| tree | 4737479da59104666233d78d094b7671ac64e339 /src/lem_interp/run_interp_model.ml | |
| parent | abc21e3757f96001c4a53e422aaafe2951045fd4 (diff) | |
Changes to get another (slightly larger) executable running;
adding executable as a test as well
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
| -rw-r--r-- | src/lem_interp/run_interp_model.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp_model.ml b/src/lem_interp/run_interp_model.ml index 9921d9f4..72568c1c 100644 --- a/src/lem_interp/run_interp_model.ml +++ b/src/lem_interp/run_interp_model.ml @@ -221,8 +221,9 @@ let rec list_update index start stop e vals = let bool_to_byte = function | true -> 0 | false -> 1 let bitvector_to_bool = function | Bitvector([b],_,_) -> b + | Bitvector(bs,_,_) -> false (*TODO fupdate slice got a vector of stuff, not just one new value.*) | Bytevector([0],_,_) -> false - | Bytevector([1],_,_) -> true + | Bytevector(_,_,_) | Unknown0 -> true ;; let fupdate_slice original e (start,stop) = |