#!/bin/sh
#                ,,,
#               (o o)
#  ####=====oOO--(_)--OOO========================================####
#  ##                                                              ##
#  ##  This file is part of FPT : A Formal Proof Toolkit           ##
#  ##  (C) 1996, MASI, CAO-VLSI Team                               ##
#  ##                                                              ##
#  ##  Shell script to run yeap on a lot of files...              ##
#  ##                                                              ##
#  ##  File            :  testfsm                                  ##
#  ##  Author          :  Olivier SIROL                            ##
#  ##  Date            :  Apr 1996                                 ##
#  ##                                                              ##
#  ##  E-mail support  :  sirol@ecoledoc.ibp.fr                    ##
#  ##                                                              ##
#  ####==========================================================####
#
#
#  $Id: testlabo,v 1.2 1997/05/23 14:27:36 sirol Exp $
#
#
echo "START TIME : `date`" > ERRORLOG

echo "fig;total;abl;bdd;proof;topnodes" > PRFP

for FIG in cpt4 digi dlxm_seq 
do
echo -n "$FIG;" >> PRFP
 
yeap -v ${FIG}o ${FIG}a | tee `tty` | gawk '
/Total elapsed time/        { printf("%s;", $(NF-1) );}
/Time Making Abl/           { printf("%s;", $(NF-1) );}
/Time Making Bdds/          { printf("%s;", $(NF-1) );}
/Time Running Proof/        { printf("%s;", $(NF-1) );}
/Time Making Patterns/      { printf("%s;", $(NF-1) );}
/Time Max Bdd Node/         { printf("%s\n", $(NF-1) );}
' >>  PRFP 

if [ $? != 0 ] ; then echo "ERROR : yeap ${FIG}" >> ERRORLOG ; fi

done

echo "STOP TIME : `date`" >> ERRORLOG

