From a16a5cd030b476712017e904f07beace61f01a7d Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 16:23:27 +0100
Subject: [PATCH] Invocation of SMT module

---
 reactics | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/reactics b/reactics
index 62aa630..24ff54a 100755
--- a/reactics
+++ b/reactics
@@ -3,7 +3,8 @@
 mode="$1"
 shift
 
-REACTICS_BDD="./reactics-bdd"
+REACTICS_BDD="$(pwd)/reactics-bdd"
+REACTICS_SMT="$(pwd)/reactics-smt"
 
 if [[ "$mode" == "bdd" ]]
 then
@@ -18,8 +19,9 @@ then
   
 elif [[ "$mode" == "smt" ]]
 then
-  
-  echo "SMT"
+ 
+  export PYTHONPATH="$PYTHONPATH:$REACTICS_SMT"
+  python3 $* 
   
 elif [[ "$mode" == "setup" ]]
 then