v-z3.inc « build « scripts - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/scripts/build/v-z3.inc

blob: 92e68658b72160fb33dae314f44844326d3d951c (plain) (blame)

# Build information for Z3 solver
required_variables_z3=(
  "Z3_VERSION"
)

# Artifacts Z3 depends on
artifact_dependency_z3=("sanitizer")