Commit 6220313d5a6490c39503d9b089f7a44b48ae42da

Thomas de Grivel 2023-10-22T17:45:50

clean release ic3 test directory