openstack
/
congress
Code Issues Proposed changes

Enable z3 on ubuntu bionic tempest tests 

Previously disabled because the z3 github does not
provide binaries for bionic. However, the binaries
for xenial appear to work fine for testing purpose,
so we enable z3 with some additional logic that
substitutes xenial binary.

Change-Id: If6d775d07ea816157c62b78e3185f1e7f242e20c
This commit is contained in:
Eric K 2019-01-17 11:46:06 -08:00 committed by Eric Kao
parent ab19f66f63
commit 608703a644
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.zuul.yaml
View File

@ -64,7 +64,7 @@
TEMPEST_PLUGINS: '"/opt/stack/congress-tempest-plugin /opt/stack/telemetry-tempest-plugin /opt/stack/murano-tempest-plugin /opt/stack/heat-tempest-plugin /opt/stack/mistral-tempest-plugin /opt/stack/monasca-tempest-plugin"'
CONGRESS_MULTIPROCESS_DEPLOYMENT: true
CONGRESS_EXPOSE_ENCRYPTION_KEY_FOR_TEST: true
ENABLE_CONGRESS_Z3: false
ENABLE_CONGRESS_Z3: true
USE_Z3_RELEASE: 4.7.1
- job:

5
devstack/plugin.sh
View File

@ -151,6 +151,11 @@ function _install_z3 {
pushd $CONGRESS_Z3_DIR
z3rel="z3-${USE_Z3_RELEASE}"
z3file="${z3rel}-x64-${os_VENDOR,,}-${os_RELEASE}"
# binary not available for ubuntu-18, so use ubuntu-16 binary instead
if [ ${os_VENDOR,,} == "ubuntu" ] && [ ${os_RELEASE} == "18.04" ]; then
z3file="${z3rel}-x64-ubuntu-16.04"
echo "WARNING: Using ${z3file} binary on ${os_VENDOR,,}-${os_RELEASE} because ${z3rel}-x64-${os_VENDOR,,}-${os_RELEASE} is not available."
fi
url="https://github.com/Z3Prover/z3/releases/download/${z3rel}/${z3file}.zip"
if [ ! -f "${z3file}.zip" ]; then
wget "${url}" || true