1		% (c) 2009-2022 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.