environment-variables - z3-1.0.0-fdrop-align-attr

Return To z3-1.0.0-fdrop-align-attr 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++