examples/scripts/checkHM.sh

	checkHM.sh revision a237b30135e86e8df89659d7b0442e4df305d03d
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder#!/bin/sh
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder
09249711700a6acbc40a2e337688b434d7aafa28Christian Maeder# testing Hennessy-Milner Logic formulae
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederfor i in ../hennessy_milner/*
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederdo
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder    echo "~~~~~~processing $i"
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder    ./gnutime -f "Running Time (real): %e" timeout 600 ../../main 6 $i
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederdone
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder