Inria CI: skip a few tests in the extra-checks job
parent
0f8a3a3e27
commit
a6fd97312e
|
@ -18,6 +18,11 @@
|
||||||
# from scratch, adding more run-time checks ("sanitizers") to the C code,
|
# from scratch, adding more run-time checks ("sanitizers") to the C code,
|
||||||
# and run the test suite.
|
# and run the test suite.
|
||||||
|
|
||||||
|
# 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 "
|
||||||
|
|
||||||
# To know the slave's architecture, this script looks at the OCAML_ARCH
|
# 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
|
# environment variable. For a given node NODe, this variable can be defined
|
||||||
# in Jenkins at the following address:
|
# in Jenkins at the following address:
|
||||||
|
|
Loading…
Reference in New Issue