Vincent St-Amour 6b519c167c Fix optimizer expected log format. ... Optimizer log format was changed on a different branch, and this test was written using that new format, which is not recognized on current master. original commit: bdf1073f174d5101fb94a7bd3257da7fec90c9cc		2011-05-16 14:23:24 -04:00
..
typed-scheme	Fix optimizer expected log format.	2011-05-16 14:23:24 -04:00
xml/clark-tests/not-wf/sa	new units, contracts, tests	2009-02-26 17:09:26 +00:00