We just need the minimal check that the floating point uninterpreted functions (https://github.com/UQ-PAC/bil-to-boogie-translator/pull/209) go through the static analyses successfully and don't break anything (including boogie), even if only for detecting regressions.
We just need the minimal check that the floating point uninterpreted functions (https://github.com/UQ-PAC/bil-to-boogie-translator/pull/209) go through the static analyses successfully and don't break anything (including boogie), even if only for detecting regressions.