Commit 6bd430d30c9105160039f1c0722a3e4c87943eec

Thomas de Grivel 2023-11-10T19:48:18

wip floats, use printf for ic3_test