kc3-lang/kc3/test/ic3/ratio.out.expected
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
4b17a5f5 | 2024-03-07 18:13:50 | more tests | |
|
5d266f52 | 2024-03-07 13:38:49 | ways to test the ratios with and without ic3 | |
 |
6fc80e8b | 2024-03-04 20:10:01 | call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios | |
|
50fd4285 | 2024-02-28 16:26:14 | ratio_neg | |
|
795a2cd7 | 2024-02-28 16:09:55 | ic3 test ratio |