From a59ad28efb2801ef10c64cf9d5e5141ba7cb83ce Mon Sep 17 00:00:00 2001 From: Jiri Hubacek Date: Tue, 3 Jul 2018 12:59:21 +0200 Subject: [PATCH] Add #nodes console output --- base/main.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/base/main.cc b/base/main.cc index 6e3f033..0b0d4b5 100644 --- a/base/main.cc +++ b/base/main.cc @@ -69,6 +69,7 @@ int main() std::cerr << "Elapsed is " << p.elapsed() << std::endl; std::cerr << "Goal found is " << p.goal_found() << std::endl; + std::cerr << "#nodes is " << p.nodes().size() << std::endl; std::cerr << "`tlog` size is " << p.tlog().size() << std::endl; Json::Value jvo; // JSON output -- 2.39.2