4 Commits

Author	SHA1	Message	Date
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