modelCheck

fun modelCheck(configure: ModelCheckDsl.() -> Unit)

Model-check configuration for stigCheckModel, per viewpoint.