Vincent St-Amour 43c99727bb Remove redundant checks from TR's optimizer tests. ... Checking that the optimized and non-optimized versions return the same results is unnecessary. Optimization logs, which are checked against an expected log, already contain the results. original commit: 4ea9b29d12b0ef01e180222aa84aee363020d9b8		2011-05-05 18:54:12 -04:00
..
fail	Struct types now generate flat contracts when appropriate.	2011-05-03 08:15:37 -04:00
optimizer	Remove redundant checks from TR's optimizer tests.	2011-05-05 18:54:12 -04:00
succeed	Changed Paths to PathStrings in types where appropriate	2011-05-03 18:20:31 -04:00
unit-tests	Updated TR's base type environment to use the new numeric types.	2011-03-18 10:25:21 -04:00
xfail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
main.rkt	Delete compiled benchmarks when testing.	2010-10-01 17:48:46 -04:00
nightly-run.rkt	Fix nightly running of TR tests.	2011-01-27 16:49:45 -05:00
run.rkt	Keep running TR tests even if optimizer tests fail.	2011-05-05 18:54:12 -04:00