#!/bin/bash

source ${VIRTUALENVWRAPPER_SCRIPT}

workon ctftools
python -c 'import z3; print(z3.get_version_string())' || exit 1
exit 0