Up – Package index » goblint » Library goblint.lib » Goblint_lib » Witness » Result » Cfg

Parameter `Result.Cfg`

include MyCFG.CfgBackward

val prev : MyCFG.cfg

include MyCFG.CfgForward

val next : MyCFG.cfg