forked from uuverifiers/ostrich
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ostrich
executable file
·45 lines (40 loc) · 1.09 KB
/
ostrich
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
#!/bin/bash
if [ $(uname) = "Linux" ]; then
pathCmd="readlink -f"
elif [ $(uname) = "Darwin" ]; then
pathCmd="stat -f %N"
else
pathCmd="realpath"
fi
BASEDIR=`dirname $($pathCmd $0)`
TARGET=`echo $BASEDIR/target/scala-*/ostrich-assembly*.jar`
LIBDIR=$BASEDIR/lib
SCALA=scala
JAVA=java
export JAVA_OPTS="-Xss20000k -Xmx2000m"
princessParams=()
ostrichSolver=ostrich.OstrichStringTheory
ostrichParams=""
for p; do
case "$p" in
[+-]eager | [+-]forward | -length=* | [+-]minimizeAutomata | [+-]parikh | -regexTranslator=*)
if [ x"$ostrichParams" = x"" ]; then
ostrichParams=$p
else
ostrichParams=$ostrichParams,$p
fi
;;
-cea)
ostrichSolver=ostrich.OstrichStringTheory
;;
+cea)
ostrichSolver=ostrich.cesolver.stringtheory.CEStringTheory
;;
*)
princessParams+=("$p")
;;
esac
done
exec $JAVA $JAVA_OPTS -cp $TARGET \
ostrich.OstrichMain -stringSolver=$ostrichSolver:$ostrichParams \
"${princessParams[@]}"