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: 915336a3ac1b9e0caaf244cf14fe740a9fda223a (plain) (blame)

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

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