Const
Default of solver.transitiveSideEffectRounds: round cap for the transitive side-effect fixpoint in produceDataFlowGraph, which stops on its own once a round adds nothing.
solver.transitiveSideEffectRounds
Default of
solver.transitiveSideEffectRounds: round cap for the transitive side-effect fixpoint in produceDataFlowGraph, which stops on its own once a round adds nothing.