6 Commits

Author	SHA1	Message	Date
Simon Petit	7e8c637941	typo	2024-12-10 18:02:14 +01:00
Simon Petit	334cd6af9d	enhancing tests	2024-12-10 18:01:33 +01:00
Simon Petit	4a42d3496f	addingt predicands	2024-12-09 21:34:23 +01:00
Simon Petit	869bd2f4ef	new unit tests	2024-12-09 21:00:13 +01:00
simon petit	cc8540e4f4	adding alcotest testing suite	2024-12-02 11:08:20 +00:00
simon petit	8f3ec93f82	adding futher unit tests with alcotest	2024-11-29 15:47:43 +00:00