failAt

Single failure threshold for all model-check problems.

Generated with STIG