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

about summary refs log tree commit diff homepage

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

blob: 362126bb2fa5ea0efa0b4feac5cfa0bfadfe79f5 (plain) (blame)

# Build information for metaSMT solver
required_variables_metasmt=(
  "METASMT_VERSION"
  "METASMT_DEFAULT"
)

artifact_dependency_metasmt=("")