Bits error versus x
Initial program 0
Time bar (total: 656.0ms)Debug logProfile
herbie shell --seed '#(1070355188 2193211668 3977393919 3454156579 3755371326 1656365382)' (FPCore (x) :name "x" :pre (or (== x 0) (== x 10)) x)