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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121
|
function count = grbcover_edit (infiles, count, outdir)
%GBCOVER_EDIT create a version of GraphBLAS for statement coverage tests
%
% Usage:
% count = grbcover_edit (infiles, count)
%
% The infiles argument can either be a struct from the 'dir' command, or it can
% be a string with the name of a single file. This function adds statement
% coverage counters to a set of input files. For each of them, a modified file
% of the same name is placed in cover/, with statement coverage added. The
% input files are modified in a simple way. Each line that is all blank except
% for "{ " at the end of the line is converted to:
%
% { GB_cov [count]++ ;
%
% In a switch statement, a counter is added to each case and to the default,
% but only if the colon has spaces on either side (" : ").
%
% case stuff : statement
% default : statement
%
% are converted to:
%
% case stuff : GB_cov[count]++ ; statement
% default : GB_cov[count]++ ; statement
%
% SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2020, All Rights Reserved.
% http://suitesparse.com See GraphBLAS/Doc/License.txt for license.
if (ispc)
error ('The tests in Tcov are not ported to Windows') ;
end
% infiles can be a struct from dir, or a single string with one filename
if (~isstruct (infiles))
infiles = dir (infiles) ;
end
nfiles = length (infiles) ;
enabled = true ;
for k = 1:nfiles
if (infiles (k).bytes == 0)
continue ;
end
infile = [infiles(k).folder '/' infiles(k).name] ;
outfile = [outdir '/' infiles(k).name] ;
fprintf ('.') ;
f_input = fopen (infile, 'r') ;
f_output = fopen (outfile, 'w') ;
% get the first line
cline = fgetl (f_input) ;
len = length (cline) ;
while (ischar (cline))
if (isempty (cline))
% empty line: as-is
fprintf (f_output, '\n') ;
elseif (len > 1 && all (cline (1:len-2) == ' ') ...
&& (cline (len-1) == '{') && (cline (len) == ' '))
% left curly brackect and space at the end of the line
% "{ " changes to "{ GB_cov[n]++ ; "
if (enabled)
fprintf (f_output, '%s GB_cov[%d]++ ;\n', cline, count) ;
count = count + 1 ;
else
fprintf (f_output, '%s\n', cline) ;
end
elseif ((~isempty (strfind (cline, ' case ')) || ...
~isempty (strfind (cline, ' default '))) && ...
~isempty (strfind (cline, ' : ')))
% a switch case statement, or "default : "
% "case stuff : statement" => "case stuff : GB_cov[n]++ ; statement"
if (enabled)
colon = find (cline == ':', 1) ;
fprintf (f_output, '%s : GB_cov[%d]++ ; %s\n', ...
cline (1:colon-1), count, cline (colon+1:end)) ;
count = count + 1 ;
else
fprintf (f_output, '%s\n', cline) ;
end
else
% otherwise the line is copied as-is
fprintf (f_output, '%s\n', cline) ;
% determine if the code is commented out
if (isequal (cline, '#if 0') || isequal (cline, ' #if 0'))
% code coverage disabled
enabled = false ;
elseif (isequal (cline, '#endif') || isequal (cline, ' #endif'))
% code coverage enabled
enabled = true ;
end
end
% get the next line
cline = fgetl (f_input) ;
len = length (cline) ;
end
fclose (f_input) ;
fclose (f_output) ;
end
fprintf ('\n') ;
|