* basic infrastructure for collecting statistics

[helm.git] / helm / papers / use_case / stats / mkdiff.cc

diff --git a/helm/papers/use_case/stats/mkdiff.cc b/helm/papers/use_case/stats/mkdiff.cc
new file mode 100644 (file)
index 0000000..aed015d
--- /dev/null
+++ b/helm/papers/use_case/stats/mkdiff.cc
@@ -0,0 +1,26 @@
+
+#include <iostream>
+#include <fstream>
+#include <cassert>
+
+main(int argc, char* argv[])
+{
+       std::ifstream f(argv[1]);
+
+       int size, nodes, parsing_time;
+       int size1, nodes1, validating_time;
+
+       while (std::cin >> size) {
+               std::cin >> nodes;
+               std::cin >> parsing_time;
+
+               f >> size1;
+               f >> nodes1;
+               f >> validating_time;
+
+               assert(size == size1);
+               assert(nodes == nodes1);
+               std::cout << size << " " << nodes << " " << (validating_time - parsing_time) << std::endl;
+       }
+}
+