Ignore:
Timestamp:
Oct 19, 2010, 2:20:10 PM (10 years ago)
Author:
mulligan
Message:

Added more info to status printout. Found weird bug in emulator: cjne
is sometimes interpreted as a jnz instruction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/test.ml

    r196 r198  
    1212   let _ = prerr_string (BitVectors.hex_string_of_vect pc) in
    1313   let _ = prerr_endline (": " ^ pp_instruction instr) in
    14     match instr with
     14    (* match instr with
    1515       `SJMP (`REL b) ->
    16           if int_of_vect b = 254 || int_of_vect b = 0 then
     16          if int_of_vect b = 254 || int_of_vect b = 0 then*)
    1717            prerr_endline <*> string_of_status $ status
    18           else
     18(*          else
    1919            ()
    20      | _ -> ()
     20     | _ -> ()*)
    2121in
    2222(* DPM: for debugging! *)
Note: See TracChangeset for help on using the changeset viewer.