summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lab/dataformat.txt11
1 files changed, 11 insertions, 0 deletions
diff --git a/lab/dataformat.txt b/lab/dataformat.txt
new file mode 100644
index 0000000..2549447
--- /dev/null
+++ b/lab/dataformat.txt
@@ -0,0 +1,11 @@
+# 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,''), }, }
+#
+