artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Invocation of SMT module

Browse Source
This commit is contained in:
Artur Meski
2019-09-22 16:23:27 +01:00
parent a30b5da6d8
commit a16a5cd030
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
reactics
View File

@@ -3,7 +3,8 @@
mode="$1" mode="$1"
shift shift
REACTICS_BDD="./reactics-bdd" REACTICS_BDD="$(pwd)/reactics-bdd"
REACTICS_SMT="$(pwd)/reactics-smt"
if [[ "$mode" == "bdd" ]] if [[ "$mode" == "bdd" ]]
then then
@@ -18,8 +19,9 @@ then
elif [[ "$mode" == "smt" ]] elif [[ "$mode" == "smt" ]]
then then
echo "SMT" export PYTHONPATH="$PYTHONPATH:$REACTICS_SMT"
python3 $*
elif [[ "$mode" == "setup" ]] elif [[ "$mode" == "setup" ]]
then then