diff options
| -rw-r--r-- | lab/dataformat.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lab/dataformat.txt b/lab/dataformat.txt deleted file mode 100644 index 8869fe27..00000000 --- a/lab/dataformat.txt +++ /dev/null @@ -1,9 +0,0 @@ -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,''), }, } |