From af168e42b90c9e45b5b3d775952860b8b6cfca5e Mon Sep 17 00:00:00 2001 From: Daniel Agar Date: Sat, 5 May 2018 17:56:11 -0400 Subject: [PATCH] Jenkins run tests under address sanitizer --- Jenkinsfile | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 51172f1433..427d948584 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -273,6 +273,25 @@ pipeline { } } + stage('tests (address sanitizer)') { + agent { + docker { + image 'px4io/px4-dev-base:2018-03-30' + args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw' + } + } + environment { + PX4_ASAN = 1 + ASAN_OPTIONS = "color=always:check_initialization_order=1:detect_stack_use_after_return=1" + } + steps { + sh 'export' + sh 'make distclean' + sh 'make tests' + sh 'make distclean' + } + } + stage('check stack') { agent { docker {