Commit dcff7d2
Ignore some tests in miri (due to diff floating point handling)
1 parent d182210 commit dcff7d2
2 files changed
Lines changed: 8 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1689 | 1689 | | |
1690 | 1690 | | |
1691 | 1691 | | |
| 1692 | + | |
1692 | 1693 | | |
1693 | 1694 | | |
1694 | 1695 | | |
| |||
1762 | 1763 | | |
1763 | 1764 | | |
1764 | 1765 | | |
| 1766 | + | |
1765 | 1767 | | |
1766 | 1768 | | |
1767 | 1769 | | |
| |||
1803 | 1805 | | |
1804 | 1806 | | |
1805 | 1807 | | |
| 1808 | + | |
1806 | 1809 | | |
1807 | 1810 | | |
1808 | 1811 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1563 | 1563 | | |
1564 | 1564 | | |
1565 | 1565 | | |
| 1566 | + | |
1566 | 1567 | | |
1567 | 1568 | | |
1568 | 1569 | | |
| |||
1790 | 1791 | | |
1791 | 1792 | | |
1792 | 1793 | | |
| 1794 | + | |
1793 | 1795 | | |
1794 | 1796 | | |
1795 | 1797 | | |
| |||
1808 | 1810 | | |
1809 | 1811 | | |
1810 | 1812 | | |
| 1813 | + | |
1811 | 1814 | | |
1812 | 1815 | | |
1813 | 1816 | | |
| |||
1880 | 1883 | | |
1881 | 1884 | | |
1882 | 1885 | | |
| 1886 | + | |
1883 | 1887 | | |
1884 | 1888 | | |
1885 | 1889 | | |
| |||
1921 | 1925 | | |
1922 | 1926 | | |
1923 | 1927 | | |
| 1928 | + | |
1924 | 1929 | | |
1925 | 1930 | | |
1926 | 1931 | | |
| |||
0 commit comments