KNOWNBUG
main.c
--no-simplify
^EXIT=0$
^SIGNAL=0$
^VERIFICATION SUCCESSFUL$
--
^warning: ignoring
--
To make this work, conversion from floating-point numbers to fixed-point
numbers is required in solvers/flattening/boolbv_typecast.cpp. Issue #2158.