From: Cyrille Artho <artho@kth.se>
Date: Tue, 13 Nov 2018 19:49:23 +0000 (+1000)
Subject: 	modified:   bin/jpf-core-sv-comp: Adapt jpf location to new path convention.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f5f1f3976961d1ce9492ddf241db300c13cf5da0;p=jpf-core.git

	modified:   bin/jpf-core-sv-comp: Adapt jpf location to new path convention.
---

diff --git a/bin/jpf-core-sv-comp b/bin/jpf-core-sv-comp
index d9dd56a..2c059c1 100755
--- a/bin/jpf-core-sv-comp
+++ b/bin/jpf-core-sv-comp
@@ -17,7 +17,7 @@ while [ -n "$1" ] ; do
   case "$1" in
     --propertyfile) PROPERTY_FILE="$2" ; shift 2 ;;
     --graphml-witness) WITNESS_FILE="$2" ; shift 2 ;;
-    --version) jpf-core/bin/jpf -version ; exit 0 ;;
+    --version) bin/jpf -version ; exit 0 ;;
     *) BENCHMARK="$1" ; shift 1 ;;
   esac
 done
@@ -59,7 +59,7 @@ echo "cg.enumerate_random=true" >> $DIR/config.jpf
 
 LD_LIBRARY_PATH=`pwd`/jpf-symbc/lib:$LD_LIBRARY_PATH
 
-jpf-core/bin/jpf $DIR/config.jpf +cg.enumerate_random | tee $LOG
+bin/jpf $DIR/config.jpf +cg.enumerate_random | tee $LOG
 
 grep "no errors detected" $LOG > /dev/null
 if [ $? -eq 0 ]; then