kc3-lang/kc3/test/ratio_test.c
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
1792fa78 | 2024-08-10 15:32:54 | fixed compilation of tests | |
|
1ae6ad0e | 2024-07-15 19:59:52 | rename c3 to kc3, fix update_source, configure, build | |
|
28f667db | 2024-03-07 16:43:31 | ratio_test | |
 |
5d266f52 | 2024-03-07 13:38:49 | ways to test the ratios with and without ic3 |