2 commits

Author	SHA1	Message	Date
Leonardo de Moura	62408a6adc	test(tests/lean): move simp_loop test to slow subdirectory ... This example produces a stackoverflow on Valgrind. We don't execute Valgrind on tests in the slow subdirectory. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-01-29 10:32:48 -08:00
Leonardo de Moura	ee4344076e	feat(library/simplifier): improve error message when simplifier is looping ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-01-28 19:36:31 -08:00