fix: Abstract interpretation proves false assertions about floats - #1157

fix: Abstract interpretation proves false assertions about floats#1157

fabiomadge wants to merge 2 commits into

masterboogie-org/boogie:masterfrom

fix/interval-domain-no-floatsboogie-org/boogie:fix/interval-domain-no-floatsCopy head branch name to clipboard