add kover support to pr10_test