From 62408a6adcfac5ae0f6b0c0a1bf8c600752c3655 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 29 Jan 2014 10:32:46 -0800 Subject: [PATCH] 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 --- tests/lean/{ => slow}/simp_loop.lean | 0 tests/lean/{ => slow}/simp_loop.lean.expected.out | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename tests/lean/{ => slow}/simp_loop.lean (100%) rename tests/lean/{ => slow}/simp_loop.lean.expected.out (100%) diff --git a/tests/lean/simp_loop.lean b/tests/lean/slow/simp_loop.lean similarity index 100% rename from tests/lean/simp_loop.lean rename to tests/lean/slow/simp_loop.lean diff --git a/tests/lean/simp_loop.lean.expected.out b/tests/lean/slow/simp_loop.lean.expected.out similarity index 100% rename from tests/lean/simp_loop.lean.expected.out rename to tests/lean/slow/simp_loop.lean.expected.out