avail/avail.optimizer/L2Optimizer/check

check

fun check(flags: Collection<KClass<out L2ControlFlowGraph.StateFlag>>)
Content copied to clipboard

Assert that each of the specified StateFlags has been set in the controlFlowGraph.

Parameters

flags

The collection of StateFlags to check.