Commit 72acccd86dedf035661655bf004e43e5c6caa02f

Thomas de Grivel 2025-08-26T16:24:51

fix pointer test and facts_with ikc3 tests