Up – goblint » Goblint_lib » ObserverAnalysis » MakePathSpec » Arg

Parameter `MakePathSpec.Arg`

val path : (MyCFG.node * MyCFG.node) list