1 | % (c) 2009-2015 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, | |
2 | % Heinrich Heine Universitaet Duesseldorf | |
3 | % This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) | |
4 | ||
5 | :- module(coverage_tools_annotations,[ | |
6 | '$NOT_COVERED'/1 | |
7 | ]). | |
8 | ||
9 | % can be used to inform the coverage_tools that something cannot/should not be covered | |
10 | % it will be automatically marked as reviewed | |
11 | ||
12 | '$NOT_COVERED'(_X) :- true. |