Vincent St-Amour ede348d487 Revert "Fix optimizer expected log format." ... This reverts commit bdf1073f174d5101fb94a7bd3257da7fec90c9cc. Return that test to the new format, which it was originally written in. original commit: 0fab9e11ad0cebe1d4afdb6bfb7908d8deb69608		2011-06-17 18:17:59 -04:00
..
fail	TR: Changed type of port->list	2011-06-10 17:22:14 -04:00
optimizer	Revert "Fix optimizer expected log format."	2011-06-17 18:17:59 -04:00
succeed	Added types and some tests for port operations	2011-06-17 15:17:19 -04:00
unit-tests	Disable this test.	2011-06-17 15:17:20 -04:00
xfail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
main.rkt	Add support for close-call tests to the TR test harness.	2011-06-17 18:17:58 -04:00
nightly-run.rkt	Fix nightly running of TR tests.	2011-01-27 16:49:45 -05:00
run.rkt	Add support for close-call tests to the TR test harness.	2011-06-17 18:17:58 -04:00