Up – goblint » Goblint_lib » Constraints » FromSpec » Cfg

Parameter `FromSpec.Cfg`

val prev : MyCFG.cfg