]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/use_case/stats/mkdiff.cc
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / mkdiff.cc
1
2 #include <iostream>
3 #include <fstream>
4 #include <cassert>
5
6 main(int argc, char* argv[])
7 {
8         std::ifstream f(argv[1]);
9
10         int size, nodes, depth, parsing_time;
11         int size1, nodes1, depth1, validating_time;
12
13         while (std::cin >> size) {
14                 std::cin >> nodes;
15                 std::cin >> depth;
16                 std::cin >> parsing_time;
17
18                 f >> size1;
19                 f >> nodes1;
20                 f >> depth1;
21                 f >> validating_time;
22
23                 assert(size == size1);
24                 assert(nodes == nodes1);
25                 assert(depth == depth1);
26                 std::cout << size << " " << nodes << " " << depth << " " << (validating_time - parsing_time) << std::endl;
27         }
28 }
29