Bits error versus x
Initial program 0
Time bar (total: 1.1s)Debug logProfile
herbie shell --seed '#(1070833653 108281690 3330367898 3632331308 3494323072 43156186)' +o rules:numerics (FPCore (x) :name "x" :pre (or (== x 0) (== x 10)) x)