Skip to content

renamed Hits Monitors to Checkers

Suzanne Klaver requested to merge sklaver_renaming_hitsmonitors into master

Since these hits algorithms rely on MC, they should be Checkers rather than Monitors. The renaming is also applied in the Moore options that use these monitors in Moore!1201 (merged).

Edited by Suzanne Klaver

Merge request reports