alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Use the TMPDIR variable in the gspn-ssp benchmark

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2008-08-29 17:02:24 +02:00
parent 0b1f869891
commit e6904d0a4c
3 changed files with 14 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2008-08-29 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* bench/gspn-ssp/tools/defs.in (TMPDIR): New variable.
* bench/gspn-ssp/tools/runbench: Use it.
2008-08-29 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2008-08-29 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* bench/gspn-ssp/tools/sum: Fix the order of stats in -e4. * bench/gspn-ssp/tools/sum: Fix the order of stats in -e4.

3
bench/gspn-ssp/defs.in
View file

@ -40,4 +40,5 @@ LTLGSPNSRG='@abs_top_builddir@/iface/gspn/ltlgspn-srg'
SNOW=/home/adl/projs/src/gspn/snow SNOW=/home/adl/projs/src/gspn/snow
TRANS2PL='@abs_srcdir@/tools/trans2prop.pl' TRANS2PL='@abs_srcdir@/tools/trans2prop.pl'
TIME='/usr/bin/time -p' TIME='/usr/bin/time -p'
export RANDLTL LTLGSPNSSP LTLGSPNSRG TIME SNOW TRANS2PL TMPDIR=${TMPDIR-/tmp}
export RANDLTL LTLGSPNSSP LTLGSPNSRG TIME SNOW TRANS2PL TMPDIR

12
bench/gspn-ssp/tools/runbench
View file

@ -4,10 +4,12 @@ formula=`sed -n "$2{p;q}" $1`
check=$3 check=$3
model=$4 model=$4
. ./defs . ./defs || exit 1
cp -r models/$model tmp-$$ cp -r models/$model $TMPDIR/tmp-$$ || exit 1
cd tmp-$$ cd $TMPDIR/tmp-$$ || exit 1
(
case $model in case $model in
*.rg) *.rg)
if [ ! -f $model.snow ]; then if [ ! -f $model.snow ]; then
@ -27,6 +29,6 @@ esac
test -f $model.mark || touch $model.mark test -f $model.mark || touch $model.mark
test -f $model.event || touch $model.event test -f $model.event || touch $model.event
du -b *.mark *.event | cut -f 1 du -b *.mark *.event | cut -f 1
)
cd .. rm -rf $TMPDIR/tmp-$$
rm -rf tmp-$$