Skip to content

Commit

Permalink
Fix herbie-tutorial test
Browse files Browse the repository at this point in the history
  • Loading branch information
Alex-Fischman committed Sep 13, 2023
1 parent 91923fe commit f6c915a
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions tests/herbie-tutorial.egg
Original file line number Diff line number Diff line change
Expand Up @@ -41,12 +41,10 @@
(rule ((Num r))
((set (lower-bound (Num r)) r)
(set (upper-bound (Num r)) r)))
(rule ((= e (Add a b)))
((set (lower-bound e)
(+ (lower-bound a) (lower-bound b)))))
(rule ((= e (Add a b)))
((set (upper-bound e)
(+ (upper-bound a) (upper-bound b)))))
(rule ((= e (Add a b)) (= x (lower-bound a)) (= y (lower-bound b)))
((set (lower-bound e) (+ x y))))
(rule ((= e (Add a b)) (= x (upper-bound a)) (= y (upper-bound b)))
((set (upper-bound e) (+ x y))))
(rule ((= e (Mul a b)))
((set (lower-bound e)
(min (* (lower-bound a) (lower-bound b))
Expand Down

0 comments on commit f6c915a

Please sign in to comment.