Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Generating Software from Specifications WS 2013/14 - File checkdev

#!/bin/sh

rm -f result *.DIFF *.MSG

for f in `ls *.dsl`
do
        rm -f tmpM tmpD tmpS
	# echo "$f"
	../../DSL.fw.exe $f &>tmpM
	sort tmpM -o tmpM
	if ! test -f $f".cmp"
        then echo "Please provide cmp file content" > $f".cmp"
	fi
	sort $f".cmp" -o tmpS
        diff tmpM tmpS >tmpD
	if test -s tmpD
	then mv tmpD $f".DIFF"
	     mv tmpM $f".MSG"
             echo $f DIFF
        else echo $f OK
	fi
done
rm -f tmpM tmpD tmpS

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 08.01.2014