test/ikc3/call.kc3

Branch


Log

Author Commit Date CI Message
Baptiste 866efade 2024-08-01T16:07:40 correcting the bugs in ikc3_test
Thomas de Grivel 9ef64e73 2024-07-19T19:26:17 rename test/ikc3/*.in into *.kc3