diff --git a/quickcheck/pom.xml b/quickcheck/pom.xml index 87a9539e6..c613e5c3c 100644 --- a/quickcheck/pom.xml +++ b/quickcheck/pom.xml @@ -10,8 +10,8 @@ quickcheck - Example QuickCheck plugin - Experimental brute force plugin for PO verification. + QuickCheck plugin + Direct execution plugin for PO verification.