lean2/tests
Leonardo de Moura 2368c936d3 test(tests/lua): exercise fields method for semantic attachments
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2014-01-15 17:24:18 -08:00
..
lean fix(tests/lean): adjust tests to reflect recent changes 2014-01-15 16:35:33 -08:00
lua test(tests/lua): exercise fields method for semantic attachments 2014-01-15 17:24:18 -08:00