removed papers that have been moved to the new "papers" repository

[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
deleted file mode 100644 (file)
index d31bfbf..0000000
--- a/helm/papers/use_case/stats/mkdiff.cc
+++ /dev/null
@@ -1,29 +0,0 @@
-
-#include <iostream>
-#include <fstream>
-#include <cassert>
-
-main(int argc, char* argv[])
-{
-       std::ifstream f(argv[1]);
-
-       int size, nodes, depth, parsing_time;
-       int size1, nodes1, depth1, validating_time;
-
-       while (std::cin >> size) {
-               std::cin >> nodes;
-               std::cin >> depth;
-               std::cin >> parsing_time;
-
-               f >> size1;
-               f >> nodes1;
-               f >> depth1;
-               f >> validating_time;
-
-               assert(size == size1);
-               assert(nodes == nodes1);
-               assert(depth == depth1);
-               std::cout << size << " " << nodes << " " << depth << " " << (validating_time - parsing_time) << std::endl;
-       }
-}
-