diff options
| -rw-r--r-- | lab/dataformat.txt | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/lab/dataformat.txt b/lab/dataformat.txt index 2549447..8869fe2 100644 --- a/lab/dataformat.txt +++ b/lab/dataformat.txt @@ -1,11 +1,9 @@ -# Data file format, a pickled dict, with keys: -# -# collector: a string identifying the collecting software -# lines: a dict mapping filenames to lists of line numbers executed: -# { 'file1': [17,23,45], 'file2': [1,2,3], } -# partial_lines: a dict mapping filenames to dicts mapping line numbers to -# partial info. Partial info is a tuple, exec, poss, explanation? -# Fully-executed lines can be omitted, as well as fully-non-executed lines. -# { 'file1': { 1: (4,8,'a myfunc'), 2: (99,100,''), }, } -# +Data file format, a pickled dict, with keys: +collector: a string identifying the collecting software +lines: a dict mapping filenames to lists of line numbers executed: + { 'file1': [17,23,45], 'file2': [1,2,3], } +partial_lines: a dict mapping filenames to dicts mapping line numbers to + partial info. Partial info is a tuple, exec, poss, explanation? + Fully-executed lines can be omitted, as well as fully-non-executed lines. + { 'file1': { 1: (4,8,'a myfunc'), 2: (99,100,''), }, } |