Skip to content

Adding formal rule for coverage holes on controller

Eclipse Webmaster requested to merge github/fork/YoannPruvost/dev_formal_2 into dev

Created by: YoannPruvost

This PR is a follow up on my previous work on code coverage holes This one covers the controller

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent