2^30 optimizer test

svn: r9146
This commit is contained in:
Matthew Flatt 2008-04-03 11:14:19 +00:00
parent 565f3a22ed
commit 359035362a

View File

@ -185,6 +185,7 @@
(bin #f '< 100 100)
(bin #t '< -200 100)
(bin #f '< 100 -200)
(bin #t '< 1 (expt 2 30))
(bin #t '<= 100 200)
(bin #f '<= 200 100)
@ -197,6 +198,7 @@
(bin #f '> 100 100)
(bin #f '> -200 100)
(bin #t '> 100 -200)
(bin #f '> 1 (expt 2 30))
(bin #f '>= 100 200)
(bin #t '>= 200 100)