diff options
Diffstat (limited to 'test/w3c/analyze_tests.pl')
| -rwxr-xr-x | test/w3c/analyze_tests.pl | 33 |
1 files changed, 32 insertions, 1 deletions
diff --git a/test/w3c/analyze_tests.pl b/test/w3c/analyze_tests.pl index 2525008..111db5a 100755 --- a/test/w3c/analyze_tests.pl +++ b/test/w3c/analyze_tests.pl @@ -42,7 +42,7 @@ $/ = '-' x 58 . "\n"; while ($block = <FILE>) { chomp($block); - + # Test Preambel ======== if ($block =~ / @@ -83,6 +83,37 @@ while ($block = <FILE>) { # next; - no next as this is part of the actual test output we need to scan below } + # Minimization ======== + # print $block; + + if ($block =~ + / + Number\sof\selements\sbefore\sreduction:\s(\d+) + /x ) { + $test->{$currTest}->{'min'}->{'before'} = $1; + if ($block =~ + / + Number\sof\selements\safter\sreduction:\s(\d+) + /x ) { + $test->{$currTest}->{'min'}->{'after'} = $1; + } + } + + # Flattening ======== + + if ($block =~ + / + Number\sof\selements\sbefore\sflattening:\s(\d+) + /x ) { + $test->{$currTest}->{'flat'}->{'before'} = $1; + if ($block =~ + / + Number\sof\selements\safter\sflattening:\s(\d+) + /x ) { + $test->{$currTest}->{'flat'}->{'after'} = $1; + } + } + # Promela Test ======== if ($block =~ / |