test/ikc3/facts_with.out.expected


Log

Author Commit Date CI Message
Thomas de Grivel 085a215d 2024-10-08T01:51:37 test/ikc3/facts_with
Thomas de Grivel 2affa1fc 2024-10-06T17:39:47 fix tests
Thomas de Grivel 7874d74d 2024-09-29T20:48:30 Facts.with