Peter Vlasveld pushed to project branch master at Peter Vlasveld / logic2020

Peter Vlasveld
2024-01-14T18:46:21Z

Peter Vlasveld (d712b1aa) at 14 Jan 18:46

actually added the new tests