From df853ef46a9c12d319bf824ac106a411f5eddabd Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Sun, 10 Dec 2023 20:29:35 +0100 Subject: Add property-based tests and fix the bugs discovered. Change-Id: I8deb1a7d75078c037714541d8f6f656052c2476c --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index b8b3920..944aa9a 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ *~ .envrc .flattened-pom.xml +.jqwik-database /.idea /jgvariant-*/target /target -- cgit v1.2.3