From 367fa419dd9f8965f6c9623add16336dd3f806a4 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 28 Jun 2018 13:01:12 +0200
Subject: [PATCH] add some fields to counterexample options

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

diff --git a/src/core/counterexample.cpp b/src/core/counterexample.cpp
index 011313e..b7a5f7e 100644
--- a/src/core/counterexample.cpp
+++ b/src/core/counterexample.cpp
@@ -19,6 +19,9 @@ void define_counterexamples(py::module& m) {
                     .def_readwrite("encode_reachability", &CexGeneratorOptions::encodeReachability)
                     .def_readwrite("silent", &CexGeneratorOptions::silent)
                     .def_readwrite("use_dynamic_constraints", &CexGeneratorOptions::useDynamicConstraints)
+                    .def_readwrite("maximum_counterexamples", &CexGeneratorOptions::maximumCounterexamples)
+                    .def_readwrite("continue_after_first_counterexample",  &CexGeneratorOptions::continueAfterFirstCounterexampleUntil)
+
             ;
             py::class_<SMTMinimalLabelSetGenerator<double>>(m, "SMTCounterExampleGenerator", "Highlevel Counterexample Generator with SMT as backend").
             def_static("build", &SMTMinimalLabelSetGenerator<double>::computeCounterexampleLabelSet, "Compute counterexample", py::arg("env"), py::arg("symbolic_model"), py::arg("model"), py::arg("formula"), py::arg("dontcare"), py::arg("options"))