Closed javierggt closed 2 years ago
Are there any downstream issues with these differences from the maude update?
I don't know for sure, but I doubt it very much. The issue was that the values are not exactly the same, which is not uncommon with floating point types. The question is whether these tests need to be to full precision.
Seems reasonable to me too, though I've forgotten what the default isclose tolerances are.
I forgot about this PR. I just checked that tests pass after @jeanconn and will merge+tag now.
Description
It seems like in the latest maude update, some floating point values changed slightly. This caused chandra_aca tests to fail. This PR changes those tests so floating point values are checked using
np.isclose(a, b)
instead ofa == b
.Testing
Fixes #