Cross Reference: checkK.sh
xref
: /
hets
/
GMP
/
tests
/
scripts
/
checkK.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
0
N/A
#!/
bin
/
sh
196
N/A
0
N/A
# testing K modal logic formulae
0
N/A
for
i
in
../
k_and_kd
/*
0
N/A
do
0
N/A
echo
"~~~~~~processing $i"
0
N/A
./
gnutime
-f
"Running Time (real): %e"
./
timeout
600
../../
main
1
-
nv
-p $i
0
N/A
done
0
N/A