environment-variables - z3-1.0.0-Xclang-no-enable-noundef-analysis

Return To z3-1.0.0-Xclang-no-enable-noundef-analysis System Information

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

Return To z3-1.0.0-Xclang-no-enable-noundef-analysis System Information