params: add multi-level verbosity

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 90ef906ef6348ed9cdfc6717c1eaab1fb3d9e886..466bf613a905ece97aaba98c506e1bf9234109e7 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -254,7 +254,7 @@ void ModelChecker::print_execution(bool printbugs) const
 {
        print_program_output();
 
-       if (params.verbose) {
+       if (params.verbose >= 2) {
                model_print("Earliest divergence point since last feasible execution:\n");
                if (earliest_diverge)
                        earliest_diverge->print();