test/ikc3/if.kc3


Log

Author Commit Date CI Message
Thomas de Grivel 7ec48a02 2024-08-10T19:11:54 update test/ikc3 for pretty printer
Thomas de Grivel 9ef64e73 2024-07-19T19:26:17 rename test/ikc3/*.in into *.kc3