Sophie

Sophie

distrib > Mandriva > 2010.2 > i586 > by-pkgid > 5a4bdb0fa6a47c773819f19c8f0c89eb > files > 259

dparser-1.15-2mdv2010.1.i586.rpm

#!/bin/csh
#

echo ==== TESTS ======= >! log.txt

foreach file ( `find testsuite -name '*.v' -print` )
	echo =================== $file ================ >> log.txt
	./v $file >>& log.txt
end