diff options
Diffstat (limited to 'src/test/run_power.ml')
| -rw-r--r-- | src/test/run_power.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/test/run_power.ml b/src/test/run_power.ml index 41282b67..268a6a8f 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -175,11 +175,10 @@ let run () = match location with | Bytevector location -> (Mem.find location !mem)::(reading (Big_int.add_big_int loc Big_int.unit_big_int) (length - 1)) in + let addr = reading (Big_int.big_int_of_int start_address) 8 in let _ = begin - startaddr := (match - (big_int_to_vec true (Big_int.big_int_of_int start_address) (Big_int.big_int_of_int 64)) with - | Bytevector location -> location); - mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") (reading (Big_int.big_int_of_int start_address) 8))); + startaddr := addr; + mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") addr)); end in let reg = init_reg () in (* entry point: unit -> unit fde *) |