commit df853ef46a9c12d319bf824ac106a411f5eddabd
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

Add property-based tests and fix the bugs discovered.

Change-Id: I8deb1a7d75078c037714541d8f6f656052c2476c

jgvariant-ostree/pom.xml

diff --git a/jgvariant-ostree/pom.xml b/jgvariant-ostree/pom.xml
index 79f5f48..e5aebc3 100644
--- a/jgvariant-ostree/pom.xml
+++ b/jgvariant-ostree/pom.xml
@@ -79,6 +79,11 @@
       <artifactId>inject-resources-junit-jupiter</artifactId>
       <scope>test</scope>
     </dependency>
+    <dependency>
+      <groupId>net.jqwik</groupId>
+      <artifactId>jqwik</artifactId>
+      <scope>test</scope>
+    </dependency>
   </dependencies>
 
 </project>