It seems that in the current master, the flag to enable the internal checks is only passed to the grounding components, but not to the solving ones. Although the DefaultSolver receives it via the SystemConfig parameter in the constructor, it does not pass it on to parts like the ChoiceManager.
It seems that in the current master, the flag to enable the internal checks is only passed to the grounding components, but not to the solving ones. Although the
DefaultSolverreceives it via theSystemConfigparameter in the constructor, it does not pass it on to parts like theChoiceManager.