Project

General

Profile

Revision 42e43efd benchmarks/aconjunctive_mu/collect_output.pl

View differences:

benchmarks/aconjunctive_mu/collect_output.pl
11 11
print "family; index; variant; time (seconds); stddev (percent); result; states\n";
12 12

  
13 13
foreach my $timefile (<*/*.time>) {
14
    next if ($timefile =~ /tmp.time|tmp.out/);
15

  
14 16
    my $base = basename($timefile, ".time");
15 17
    my $outfile = $timefile =~ s/time$/out/r;
16 18

  

Also available in: Unified diff