IssueHuntpschanely/CrossHair
Do you want to work on this issue?
You can request for a bounty in order to promote it!
Symbolic float model (RealBasedSymbolicFloat) diverges from IEEE-754 → false counterexamples in %, divmod, round, pow #455
pschanely posted onGitHub