diff options
| author | Kathy Gray | 2014-10-27 19:47:01 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-10-27 19:49:07 +0000 |
| commit | e32d080e51216bec146f8c6df92b4e7c3bd2a8ab (patch) | |
| tree | 6b1bf2020cde51e9b0d7ba76b86cfec6bc276e7e /src | |
| parent | 897ad75e8b2d32f671c40c75b5afefa604df5248 (diff) | |
debugging temp
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/run_power.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/test/run_power.ml b/src/test/run_power.ml index e6a13c50..335dde47 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -39,9 +39,9 @@ let reg = ref (Reg.add "dummy" Unknown0 Reg.empty) ;; let add_mem byte addr = assert(byte >= 0 && byte < 256); - (*Printf.printf "adder is %s, byte is %s\n" (string_of_big_int addr) (string_of_int byte);*) + Printf.printf "adder is %s, byte is %s\n" (string_of_big_int addr) (string_of_int byte); let addr = big_int_to_vec true addr (big_int_of_int 64) in - (*Printf.printf "adder is %s byte is %s\n" (val_to_string addr) (string_of_int byte);*) + Printf.printf "adder is %s byte is %s\n" (Printing_functions.val_to_string addr) (string_of_int byte); match addr with | Bytevector addr -> mem := Mem.add addr byte !mem ;; @@ -296,6 +296,8 @@ let run () = startaddr := addr; mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") addr)); end in + Printf.printf "start address: %s\n" !mainaddr; + Printf.printf "%s\n" (Printing_functions.val_to_string (Bytevector !startaddr)); let my_reg = init_reg () in reg := my_reg; (* entry point: unit -> unit fde *) |