Closed jplucinski closed 5 years ago
htl-11 - fix duplicated violations when htl-11 is not applicable
Coverage remained the same at 95.41% when pulling ddcb75a638a05e357cbdab1bdd062322a45f7cef on bug-duplicated-htl-11 into ab7f6622c375815e59e0684d9f960bf0c73f76e1 on master.
htl-11 - fix duplicated violations when htl-11 is not applicable