Incorrect precondition for criterium.well/well-rng-1024a
jafingerhut opened this issue · 0 comments
jafingerhut commented
It is currently written as:
{:pre (>= 0 index 32)}
But this asserts that 0 is true, index is true, and 32 is true.
It should be written as:
{:pre [(>= 0 index 32)]}
Found while testing a new linter for the next (not-yet-released) version of Eastwood -- it checks for test expressions that are always logical true or always logical false.