X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fvalidating_time_flea.sh;fp=helm%2Fpapers%2Fuse_case%2Fstats%2Fvalidating_time_flea.sh;h=d1cd9d3567591cea099f5d6a879a2ab15d8cffa1;hb=e8a6c92ba0cd89ceafe2504754276c587f895a9e;hp=0000000000000000000000000000000000000000;hpb=a84be8db90f3f27148074c22d80b21a2dcf58576;p=helm.git

diff --git a/helm/papers/use_case/stats/validating_time_flea.sh b/helm/papers/use_case/stats/validating_time_flea.sh
new file mode 100755
index 000000000..d1cd9d356
--- /dev/null
+++ b/helm/papers/use_case/stats/validating_time_flea.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+zcat $1 >/tmp/a
+TIME=`~lpadovan/Luca-CVS/Projects/flea/tests/cic /tmp/a`
+echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME