diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-12-10 20:29:35 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-12-10 20:32:21 +0100 |
| commit | df853ef46a9c12d319bf824ac106a411f5eddabd (patch) | |
| tree | f7e0112d7ff160c12186ba7d7ec4671a6487aeeb /jgvariant-parent | |
| parent | 3ad12086acde4cfa9d346938e876947bde6305dc (diff) | |
Add property-based tests and fix the bugs discovered.
Change-Id: I8deb1a7d75078c037714541d8f6f656052c2476c
Diffstat (limited to 'jgvariant-parent')
| -rw-r--r-- | jgvariant-parent/pom.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/jgvariant-parent/pom.xml b/jgvariant-parent/pom.xml index 5444b7d..283c62a 100644 --- a/jgvariant-parent/pom.xml +++ b/jgvariant-parent/pom.xml @@ -76,6 +76,7 @@ SPDX-License-Identifier: LGPL-3.0-or-later <guava.version>32.1.3-jre</guava.version> <inject-resources.version>0.3.3</inject-resources.version> <jetbrains-annotations.version>24.1.0</jetbrains-annotations.version> + <jqwik.version>1.8.2</jqwik.version> <junit-jupiter.version>5.10.1</junit-jupiter.version> <nullaway.version>0.10.18</nullaway.version> <picocli.version>4.7.5</picocli.version> @@ -156,6 +157,12 @@ SPDX-License-Identifier: LGPL-3.0-or-later <version>${inject-resources.version}</version> <scope>test</scope> </dependency> + <dependency> + <groupId>net.jqwik</groupId> + <artifactId>jqwik</artifactId> + <version>${jqwik.version}</version> + <scope>test</scope> + </dependency> </dependencies> </dependencyManagement> |