kc3-lang/kc3/test/ratio_test.c

---

test/ratio_test.c

---

Log

Author	Commit	Date	CI	Message
	1792fa78	2024-08-10T15:32:54		fixed compilation of tests
	1ae6ad0e	2024-07-15T19:59:52		rename c3 to kc3, fix update_source, configure, build
	28f667db	2024-03-07T16:43:31		ratio_test
	5d266f52	2024-03-07T13:38:49		ways to test the ratios with and without ic3