Total time: 4.0ms Debug log
Please include this information when filing a bug report:
herbie --seed '#(2763158784 3848672569 2881882861 3764510312 2007812714 3890743162)'
(FPCore (x)
:name "x"
:pre (<= x x x x)
:herbie-samplers ((x (uniform -1.75 -1.25)))
x)
| ...yntax/syntax.rkt:138:0: arity mismatch; the expected number of arguments does not match the given number expected: 1 given: 4 arguments...: (bf #e-1.5) (bf #e-1.5) (bf #e-1.5) (bf #e-1.5) | L | C | |
|---|---|---|---|
| (unnamed) | /opt/racket-6.3/collects/racket/private/kw.rkt | 394 | 14 |
| (unnamed) | /home/pavpan/herbie/src/programs.rkt | 253 | 4 |
| map | /opt/racket-6.3/collects/racket/private/map.rkt | 21 | 13 |
| loop | /home/pavpan/herbie/src/points.rkt | 83 | 4 |
| loop | /home/pavpan/herbie/src/points.rkt | 93 | 2 |
| loop | /home/pavpan/herbie/src/points.rkt | 122 | 2 |
| run-improve58 | /home/pavpan/herbie/src/mainloop.rkt | 244 | 0 |
| (unnamed) | /opt/racket-6.3/collects/racket/private/more-scheme.rkt | 261 | 28 |