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:
parent
ab19f66f63
commit
608703a644
|
@ -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:
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue