projects
/
jpf-core.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d4df3d7
)
modified: bin/jpf-core-sv-comp: Adapt jpf location to new path convention.
author
Cyrille Artho
<artho@kth.se>
Tue, 13 Nov 2018 19:49:23 +0000
(
05:49
+1000)
committer
Cyrille Artho
<artho@kth.se>
Tue, 13 Nov 2018 19:49:23 +0000
(
05:49
+1000)
bin/jpf-core-sv-comp
patch
|
blob
|
history
diff --git
a/bin/jpf-core-sv-comp
b/bin/jpf-core-sv-comp
index d9dd56afca6a31a0a3e4090b740cd537b6d9b5ca..2c059c12134978d13c3cf15707daf1816ad6e0fc 100755
(executable)
--- 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 ;;
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
*) 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
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
grep "no errors detected" $LOG > /dev/null
if [ $? -eq 0 ]; then