#!/usr/bin/perl
#----------------------------->  Perl - script  <-----------------------------#
#- Copyright (C) 199x by International Computer Science Institute            -#
#- This file is part of the GNU Sather package. It is free software; you may -#
#- redistribute  and/or modify it under the terms of the  GNU General Public -#
#- License (GPL)  as  published  by the  Free  Software  Foundation;  either -#
#- version 2 of the license, or (at your option) any later version.          -#
#- This  program  is distributed  in the  hope that it will  be  useful, but -#
#- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY -#
#- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/GPL for more details.        -#
#- The license text is also available from:  Free Software Foundation, Inc., -#
#- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     -#
#------------->  Please email comments to <bug-sather@gnu.org>  <-------------#

$repeat=1;
$speedup=3;

open(SLOW,"/bin/time ./mats $repeat 2>&1 |");
while(<SLOW>) {
	/^\s+[0-9.]+ real/ && do { ($slow)= /^\s+([0-9.]+) real/; };
	/^real\s+[0-9.]+$/ && do { ($slow)= /^real\s+([0-9.]+)/; };
	/^real\s+[0-9.:]+$/ && do { 
		($m,$s)=/^real\s+(\d+):0?([0-9.]+)/; 
		$slow=$m*60+$s;
	};
}
close SLOW;
$slow eq "" && die "I cannot find the time for mats\n";

open(FAST,"/bin/time ./matf $repeat 2>&1 |");
while(<FAST>) {
	/^\s+[0-9.]+ real/ && do { ($fast)= /^\s+([0-9.]+) real/; };
	/^real\s+[0-9.]+$/ && do { ($fast)= /^real\s+([0-9.]+)/; };
	/^real\s+[0-9.:]+$/ && do { 
		($m,$s)=/^real\s+(\d+):0?([0-9.]+)/; 
		$fast=$m*60+$s;
	};
}
close FAST;
$fast eq "" && die "I cannot find the time for matf\n";

($slow < $fast * $speedup) && die "slow=$slow    fast=$fast    the following should hold: slow>$speedup*fast\n";
exit 0;
