blob: 71ad0c2d537062ecabebf9c5c49b7485306c069d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/bash -x
# Make sure we exit if there is a failure
set -e
DIR="$(cd "$(dirname "$0")" && pwd)"
source "${DIR}/common-defaults.sh"
: ${SOLVERS?"Solvers must be specified"}
SOLVER_LIST=$(echo "${SOLVERS}" | sed 's/:/ /g')
for solver in ${SOLVER_LIST}; do
echo "Getting solver ${solver}"
case ${solver} in
STP)
echo "STP"
"${DIR}/solver-stp.sh"
;;
Z3)
echo "Z3"
"${DIR}/solver-z3.sh"
;;
metaSMT)
echo "metaSMT"
"${DIR}/solver-metasmt.sh"
;;
*)
echo "Unknown solver ${solver}"
exit 1
esac
done
|
