Up
–
goblint
»
Lattice
»
LiftPO
» Conf
Parameter
LiftPO.Conf
val
bot_name : string
val
top_name : string
val
expand1 : bool