AryazE opened this issue 10 months ago · 0 comments
While running a dynamic analysis on the test suite, in this line, the compared values are in some cases floats within the float inaccuracy range (this might cause some cases to miss an improvement), and in some cases inf.
inf