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:
f5f1f39
)
modified: bin/jpf-sv-comp: adapt script to path convention.
author
Cyrille Artho
<artho@kth.se>
Tue, 13 Nov 2018 19:49:58 +0000
(
05:49
+1000)
committer
Cyrille Artho
<artho@kth.se>
Tue, 13 Nov 2018 19:49:58 +0000
(
05:49
+1000)
bin/jpf-sv-comp
patch
|
blob
|
history
diff --git
a/bin/jpf-sv-comp
b/bin/jpf-sv-comp
index 7670dc0b9c0edf6161f84168cb86a14e799926ad..0162c7fca5cfec60aa80633e0cacdc13e9b7a219 100755
(executable)
--- a/
bin/jpf-sv-comp
+++ b/
bin/jpf-sv-comp
@@
-18,7
+18,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
@@
-61,7
+61,7
@@
echo "listener = .symbc.SymbolicListener" >> $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 | tee $LOG
+bin/jpf $DIR/config.jpf | tee $LOG
grep "no errors detected" $LOG > /dev/null
if [ $? -eq 0 ]; then
grep "no errors detected" $LOG > /dev/null
if [ $? -eq 0 ]; then