#!/cygdrive/c/apps/perl/bin/perl


# Slurp input mode
$/ = undef;

$file = <STDIN>;

$count = 0;

print "\n----------------------------------------------\n\n";

while ( $file =~ s/Rule (.*?) fired.//si )
{
	$count++;
	print "STEP " . $count . ": ";
	print $1 . "\n\n";
}

if ( $count == 0 )
{
	print "No errors found!\n";	
}
else
{
	print "\n----------------------------------------------\n\n";
	$file =~ /Invariant (.*?) failed./si;
	print "ERROR: $1\n";
}