Leonardo de Moura 9f06cd553e test(lean): remove tests using Lean old syntax and kernel ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-05-17 10:38:53 -07:00
..
test.sh	fix(tests/lean/interactive): test driver (to avoid discrepancy between Win and Linux version)	2013-12-06 17:03:12 -08:00
test_single.sh	fix(tests/lean/interactive): test driver (to avoid discrepancy between Win and Linux version)	2013-12-06 17:03:12 -08:00