Changeset 566


Ignore:
Timestamp:
Feb 17, 2011, 9:53:51 PM (6 years ago)
Author:
sacerdot
Message:

Undefined opcode singled out.

File:
1 edited

Legend:

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

    r557 r566  
    684684       let pc,b2 = next pc in
    685685         `XRL(`U2(`DIRECT b1, `DATA b2)), pc, 2
    686    | _,_ -> assert false
     686   | (true,false,true,false),(false,true,false,true) ->
     687       (* undefined opcode *) assert false
    687688;;
    688689
Note: See TracChangeset for help on using the changeset viewer.