Commit dc76480a authored by Sylvain Schmitz's avatar Sylvain Schmitz

extract more info

parent ada7a0b9
...@@ -148,6 +148,7 @@ sub count_show { ...@@ -148,6 +148,7 @@ sub count_show {
sub count_showcov { sub count_showcov {
open(CF, '>', "non-standard-$type-$_[2].tex") or die $!; open(CF, '>', "non-standard-$type-$_[2].tex") or die $!;
open(CFfull, '>', "non-standard-$type-$_[2]-full.tex") or die $!; open(CFfull, '>', "non-standard-$type-$_[2]-full.tex") or die $!;
open(CFcombined, '>', "non-standard-$type-$_[2]-combined.tex") or die $!;
open(CFextra, '>', "non-standard-$type-$_[2]-extra.tex") or die $!; open(CFextra, '>', "non-standard-$type-$_[2]-extra.tex") or die $!;
printf STDERR "%s: ", $_[2]; printf STDERR "%s: ", $_[2];
my $n = count_show($_[0],$_[1]); my $n = count_show($_[0],$_[1]);
...@@ -161,6 +162,7 @@ sub count_showcov { ...@@ -161,6 +162,7 @@ sub count_showcov {
my $captured=count($_[0]."[$infulls or $inextras]"); my $captured=count($_[0]."[$infulls or $inextras]");
printf STDERR " among which %d (%.2f%%) are captured in full+extra\n", printf STDERR " among which %d (%.2f%%) are captured in full+extra\n",
$captured, 100*$captured/$n; $captured, 100*$captured/$n;
printf CFcombined "%.2f\\%%\n", 100*$captured/$n;
my $captured=count($_[0]."[$inextras]"); my $captured=count($_[0]."[$inextras]");
printf STDERR " among which %d (%.2f%%) are captured in extra\n", printf STDERR " among which %d (%.2f%%) are captured in extra\n",
$captured, 100*$captured/$n; $captured, 100*$captured/$n;
...@@ -168,6 +170,7 @@ sub count_showcov { ...@@ -168,6 +170,7 @@ sub count_showcov {
close CF; close CF;
close CFfull; close CFfull;
close CFcombined;
close CFextra; close CFextra;
return $n; return $n;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment