| commit | df853ef46a9c12d319bf824ac106a411f5eddabd | [log] [tgz] |
|---|---|---|
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sun Dec 10 20:29:35 2023 +0100 |
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | Sun Dec 10 20:32:21 2023 +0100 |
| tree | f7e0112d7ff160c12186ba7d7ec4671a6487aeeb | |
| parent | 3ad12086acde4cfa9d346938e876947bde6305dc [diff] [blame] |
Add property-based tests and fix the bugs discovered. Change-Id: I8deb1a7d75078c037714541d8f6f656052c2476c
diff --git a/jgvariant-core/pom.xml b/jgvariant-core/pom.xml index b37b65c..da34551 100644 --- a/jgvariant-core/pom.xml +++ b/jgvariant-core/pom.xml
@@ -61,6 +61,11 @@ <artifactId>junit-jupiter-api</artifactId> <scope>test</scope> </dependency> + <dependency> + <groupId>net.jqwik</groupId> + <artifactId>jqwik</artifactId> + <scope>test</scope> + </dependency> </dependencies> </project>