This is better covered in the data.py file.

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,''), }, }