Commit f7bc8cd72940e110533536a578efdf37dcc97a5e

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

wip floats, use printf for ic3_test