Skip to content

#639 Fix performance regression in finite response checker

  • If only finite response is checked, the unneeded global guarded updates are no longer computed. This fixes the performance regression.
  • The controller checker now also requires at least one enabled check. This prevents performing lots of calculations in preparation, that are then not used by any check.
  • Best reviewed per commit.

Closes #639 (closed)

Merge request reports