environment-variables - z3-1.0.0-mllvm-disable-object-based-analysis

Return To z3-1.0.0-mllvm-disable-object-based-analysis System Information

PATH=/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
CC=/home/lucian/git/ub-benchmark-infra/toolchain/clang
CXX=/home/lucian/git/ub-benchmark-infra/toolchain/clang++