<?php

xdebug_set_filter(
	XDEBUG_FILTER_CODE_COVERAGE,
	XDEBUG_PATH_INCLUDE,
	["src/"]
);
xdebug_start_code_coverage(XDEBUG_CC_UNUSED);

require_once "encoded.php";

$coverage = xdebug_get_code_coverage();
xdebug_stop_code_coverage();
print_r($coverage);
