You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This was surfaced by proptest fuzzing just now. The expression "aa[0]/(pi - pi)" fails the simplification test because NaN != NaN. This follows the IEEE standard, but I think for our purposes it may make sense to make them equal for the purposes of PartialEq for Expression.
The text was updated successfully, but these errors were encountered:
This was surfaced by
proptest
fuzzing just now. The expression"aa[0]/(pi - pi)"
fails the simplification test becauseNaN != NaN
. This follows the IEEE standard, but I think for our purposes it may make sense to make them equal for the purposes ofPartialEq for Expression
.The text was updated successfully, but these errors were encountered: