Ignore:
Timestamp:
Dec 2, 2011, 7:49:19 PM (8 years ago)
Author:
tranquil
Message:

fighting with a bug of the translation from RTL to ERTL

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml

    r1272 r1585  
    104104        match Liveness.eliminable (G.liveafter label) stmt with
    105105        | Some successor ->
    106             LTL.St_skip successor
     106          Printf.printf "dead %s!\n%!" (ERTLPrinter.print_statement stmt);
     107          LTL.St_skip successor
    107108        | None ->
    108109            I.translate_statement stmt
Note: See TracChangeset for help on using the changeset viewer.