test/ikc3/facts_with.out.expected


Log

Author Commit Date CI Message
Thomas de Grivel 2affa1fc 2024-10-06T17:39:47 fix tests
Thomas de Grivel 7874d74d 2024-09-29T20:48:30 Facts.with