test/ic3/ratio.out.expected


Log

Author Commit Date CI Message
Baptiste 4b17a5f5 2024-03-07T18:13:50 more tests
Baptiste 5d266f52 2024-03-07T13:38:49 ways to test the ratios with and without ic3
Thomas de Grivel 6fc80e8b 2024-03-04T20:10:01 call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
Thomas de Grivel 50fd4285 2024-02-28T16:26:14 ratio_neg
Thomas de Grivel 795a2cd7 2024-02-28T16:09:55 ic3 test ratio