Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Inria CI: extra-checks job improvement 

Use the new SKIP_TESTS mechanism to skip the stackoverflow test
rather than modifying the header files.
master
Sébastien Hinderer 2018-05-29 09:59:17 +02:00
parent 148fd3bf86
commit 12aa0caf5a
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/ci/inria/extra-checks
View File

@ -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