Module MyARG.UnCilLogicIntra

Parameters

module Arg : SIntraOpt

Signature

include SIntra
val next : MyCFG.node -> (MyCFG.edge * MyCFG.node * cfg_path list) list
  • returns

    Also the original CFG paths corresponding to the step.

val next_opt : MyCFG.node -> (MyCFG.edge * MyCFG.node * cfg_path list) list option
  • returns

    Also the original CFG paths corresponding to the step.