From 80d8fdbf484c0896f79d8532a68206b7de0b8c8f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 20 Jul 2013 18:04:05 -0700 Subject: [PATCH] Fix tests exit code Signed-off-by: Leonardo de Moura --- src/tests/interval/interval.cpp | 2 +- src/tests/sexpr/sexpr.cpp | 2 +- src/tests/util/interrupt.cpp | 3 ++- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/tests/interval/interval.cpp b/src/tests/interval/interval.cpp index d85a21f4b5..f4c3d7552a 100644 --- a/src/tests/interval/interval.cpp +++ b/src/tests/interval/interval.cpp @@ -90,5 +90,5 @@ int main() { enable_trace("numerics"); tst1(); tst2(); - return 0; + return has_violations() ? 1 : 0; } diff --git a/src/tests/sexpr/sexpr.cpp b/src/tests/sexpr/sexpr.cpp index 9d9be8c40b..cf94d24fd4 100644 --- a/src/tests/sexpr/sexpr.cpp +++ b/src/tests/sexpr/sexpr.cpp @@ -74,5 +74,5 @@ static void tst1() { int main() { continue_on_violation(true); tst1(); - return 0; + return has_violations() ? 1 : 0; } diff --git a/src/tests/util/interrupt.cpp b/src/tests/util/interrupt.cpp index e1c674d8b5..f74b653b78 100644 --- a/src/tests/util/interrupt.cpp +++ b/src/tests/util/interrupt.cpp @@ -67,7 +67,8 @@ static void tst2() { } int main() { + lean::continue_on_violation(true); tst1(); tst2(); - return 0; + return lean::has_violations() ? 1 : 0; }