Commit 5704a53e366516c4b6358c7b08382b2bf7313d9d

Thomas de Grivel 2025-09-23T19:42:53

use ikc3 --bool-ptr to show pointers in tests as booleans : 0 or 1.