From 12aa0caf5a4a4f595f3bc3af5631a674bc8cece4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Tue, 29 May 2018 09:59:17 +0200 Subject: [PATCH] Inria CI: extra-checks job improvement Use the new SKIP_TESTS mechanism to skip the stackoverflow test rather than modifying the header files. --- tools/ci/inria/extra-checks | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/tools/ci/inria/extra-checks b/tools/ci/inria/extra-checks index 2d747ac33..dd4e1fe6d 100755 --- a/tools/ci/inria/extra-checks +++ b/tools/ci/inria/extra-checks @@ -21,7 +21,7 @@ # In this context, it is necessary to skip a few tests whose behaviour # is modified by the instrumentation: -export OCAMLTEST_SKIP_TESTS="tests/afl-instrumentation/afltest.ml " +export OCAMLTEST_SKIP_TESTS="tests/afl-instrumentation/afltest.ml tests/runtime-errors/stackoverflow.ml" # To know the slave's architecture, this script looks at the OCAML_ARCH # environment variable. For a given node NODe, this variable can be defined @@ -153,9 +153,6 @@ set_config_var CFLAGS "-O1 \ -fsanitize=address \ -fsanitize-trap=$ubsan" -# AddressSanitizer reacts poorly to stack overflow, so don't test for it. -undefine_macro HAS_STACK_OVERFLOW_DETECTION byterun/caml/s.h - # Build the system. We want to check for memory leaks, hence # 1- force ocamlrun to free memory before exiting # 2- add an exception for ocamlyacc, which doesn't free memory