Time bar (total: 16.3s) Debug log
Please include this information when filing a bug report:
herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (v)
:name "carbonGas"
:pre (<= 0.1 v 0.5)
(- (* (+ 35000000.0 (* (* 0.401 (/ 1000 v)) (/ 1000 v))) (- v (* 1000 4.27e-05))) (* (* 1.3806503e-23 1000) 300)))| nan?: contract violation expected: real? given: #<void> | L | C | |
|---|---|---|---|
| for-loop | /home/p92/hgeval/herbie/src/core/regimes.rkt | 86 | 14 |
| critical-subexpression | /home/p92/hgeval/herbie/src/core/regimes.rkt | 52 | 0 |
| exprs-to-branch-on | /home/p92/hgeval/herbie/src/core/regimes.rkt | 44 | 0 |
| f12 | /usr/share/racket/collects/racket/match/compiler.rkt | 507 | 40 |
| split-table | /home/p92/hgeval/herbie/src/glue.rkt | 170 | 0 |
| get-final-combination | /home/p92/hgeval/herbie/src/mainloop.rkt | 264 | 0 |
| run-improve50 | /home/p92/hgeval/herbie/src/mainloop.rkt | 237 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |