Using scct for test coverage reporting