Skip to content

Commit 11c7ed8

Browse files
committed
Better float casting tests in coretests
A direct port of the float casting tests from MIRI.
1 parent a423f68 commit 11c7ed8

2 files changed

Lines changed: 679 additions & 0 deletions

File tree

0 commit comments

Comments
 (0)