From 4b7d4cf0d192eeb291b0f74339e2fb3f98adcb19 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 30 Aug 2013 16:39:31 -0700 Subject: [PATCH] Add latest example to regression suite Signed-off-by: Leonardo de Moura --- src/shell/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 9e37aece2..3367d024a 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -16,3 +16,4 @@ add_test(lean11 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples add_test(lean12 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex12.lean") add_test(lean13 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex13.lean") add_test(lean14 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex14.lean") +add_test(lean15 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex15.lean")