Chris@14: <?php
Chris@14: /*
Chris@14:  * This file is part of the php-code-coverage package.
Chris@14:  *
Chris@14:  * (c) Sebastian Bergmann <sebastian@phpunit.de>
Chris@14:  *
Chris@14:  * For the full copyright and license information, please view the LICENSE
Chris@14:  * file that was distributed with this source code.
Chris@14:  */
Chris@14: 
Chris@14: namespace SebastianBergmann\CodeCoverage;
Chris@14: 
Chris@14: /**
Chris@14:  * Exception that is raised when covered code is not executed.
Chris@14:  */
Chris@14: class CoveredCodeNotExecutedException extends RuntimeException
Chris@14: {
Chris@14: }