diff --git a/pom.xml b/pom.xml index 1650dce15..412e7817b 100644 --- a/pom.xml +++ b/pom.xml @@ -96,6 +96,7 @@ 0.8.13 + **/java-symbolic-execution-checks-test-sources/**