path: root/scheduling/BTLaux.ml

type inst_info = { mutable inumb : int; mutable pcond : bool option }

type block_info = { mutable bnumb : int; mutable visited : bool }