#!/bin/bash

DIRS="\
attack_found
no_attack_found
"

for dir in $DIRS;
do
  pushd $dir
  for i in `ls *\.aslan`
  do
    echo $i

    OPT="--classic --untyped --theory "
    LOG=$i.log
    TH=${i%aslan}thy
    ofmc $i $OPT $TH | \
         grep -E -v 'searchTime|Version|parseTime|TIME' \
         > $LOG

    if [ -f log/$LOG ]
    then
	DIFF=`diff --brief $LOG log/$LOG`
	if [ "$DIFF" = "" ] 
	then 
	    rm $LOG
	else 
	    echo "********* Deviation on" $i
	    diff $LOG log/$LOG  # > log/diff-$LOG
	    mv $LOG log/new-$LOG
	fi
    else
	echo "Log does not exist, creating."
	if [ ! -d log ]
	then
	    mkdir log
	fi
	mv $LOG log
    fi

  done;
  popd
done
