test/ikc3/pointer.out.expected

Branch


Log

Author Commit Date CI Message
Thomas de Grivel 72acccd8 2025-08-26T16:24:51 fix pointer test and facts_with ikc3 tests
Thomas de Grivel 1cbc1606 2025-08-26T14:19:41 fix pointer and add tests for pointer