From 50f7e054f73d5a59bb80d3c075387e81098066a6 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Jul 2018 16:30:08 +0200
Subject: [PATCH] bindings for cex generator stats

---
 src/core/counterexample.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/core/counterexample.cpp b/src/core/counterexample.cpp
index cd350db..b572f5a 100644
--- a/src/core/counterexample.cpp
+++ b/src/core/counterexample.cpp
@@ -12,6 +12,19 @@ void define_counterexamples(py::module& m) {
             .def("__str__", [](boost::container::flat_set<uint64_t> const& set) { std::stringstream str; str << "["; for(auto const& i : set) { str << i << ", ";} str << "]"; return str.str(); })
             .def("__len__", [](boost::container::flat_set<uint64_t> const& set) { return set.size();})
             ;
+
+    using CexGeneratorStats = SMTMinimalLabelSetGenerator<double>::GeneratorStats;
+
+    py::class_<CexGeneratorStats>(m, "SMTCounterExampleGeneratorStats", "Stats for highlevel counterexample generation")
+            .def(py::init<>())
+            .def_readonly("analysis_time", &CexGeneratorStats::analysisTime)
+            .def_readonly("setup_time", &CexGeneratorStats::setupTime)
+            .def_readonly("model_checking_time", &CexGeneratorStats::modelCheckingTime)
+            .def_readonly("solver_time", &CexGeneratorStats::solverTime);
+
+
+
+
     using CexGeneratorOptions =  SMTMinimalLabelSetGenerator<double>::Options;
             py::class_<CexGeneratorOptions>(m, "SMTCounterExampleGeneratorOptions", "Options for highlevel counterexample generation")
                     .def(py::init<>())