tree f7e0112d7ff160c12186ba7d7ec4671a6487aeeb
parent 3ad12086acde4cfa9d346938e876947bde6305dc
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1702236575 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1702236741 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYIAB0WIQRE3QzuUV5Uegq6sdJPLjDfCicO+wUCZXYSRgAKCRBPLjDfCicO
 +46aAP9W9TDvpucxe1s3XFc3ElHhKLk9ts1/lOirNTu25o9VCgD9ElMxFV11Vj2Q
 kIbdounRfX5mzvELKeZtSlu5fSI5Rwk=
 =vmOn
 -----END PGP SIGNATURE-----

Add property-based tests and fix the bugs discovered.

Change-Id: I8deb1a7d75078c037714541d8f6f656052c2476c