module Make:
Parameters: |
|
val widening_delay : int
val widening_period : int
val slevel : Cil_types.stmt -> int
val merge : Cil_types.stmt -> bool
val unroll : Cil_types.stmt -> Partition.unroll_limit
val history_size : int
val universal_splits : Partition.action list
val flow_actions : Cil_types.stmt -> Partition.action list