Skip to content

#621 Add bounded response check and BDD representation to CIF controller properties checker

  • I took small steps in multiple commits.
  • Changes:
    • Added bounded response check to CIF controller properties checker. This check is now recommended instead of the finite response check, although I didn't deprecate finite response just yet.
    • The CIF controller properties checker now prints [UNKNOWN] before conclusions of disabled checks.
    • The CIF controller properties checker now uses a colon to indicate more is to come for check conclusions.
    • Improved the CIF controller properties checker documentation, and split it into multiple pages.
    • Extended a test.

Addresses #621

Edited by Dennis Hendriks

Merge request reports