File: failed-tests-printer.pl

package info (click to toggle)
cbmc 4.9-4
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 40,588 kB
  • ctags: 19,198
  • sloc: cpp: 185,860; ansic: 16,162; yacc: 5,343; lex: 4,518; makefile: 954; pascal: 506; sh: 318; perl: 213; java: 206
file content (25 lines) | stat: -rwxr-xr-x 495 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
#!/usr/bin/perl -w

use strict;

open LOG,"<tests.log" or die "Failed to open tests.log\n";

my $ignore = 1;
my $current_test = "";

while (<LOG>) {
  chomp;
  if (/^Test '(.+)'/) {
    $current_test = $1;
    $ignore = 0;
  } elsif (1 == $ignore) {
    next;
  } elsif (/\[FAILED\]\s*$/) {
    $ignore = 1;
    print "Failed test: $current_test\n";
    my $outf = `sed -n '2p' $current_test/test.desc`;
    $outf =~ s/\..*$/.out/;
    system("cat $current_test/$outf");
    print "\n\n";
  }
}