Leonardo de Moura 0818b02eb3 test(tests/lean/run): add test for @1218		2016-12-08 14:10:47 -08:00
..
lean	test(tests/lean/run): add test for @1218	2016-12-08 14:10:47 -08:00