From 0c81bded6b7568b6c0f199b65816427a85786e8c Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 22 Dec 2015 13:36:02 +0100 Subject: [PATCH] Removes some redundant verbosity --- lib/test_suite.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/test_suite.cpp b/lib/test_suite.cpp index f33a53f..b1cc87d 100644 --- a/lib/test_suite.cpp +++ b/lib/test_suite.cpp @@ -11,7 +11,7 @@ void test(const mealy & specification, const transfer_sequences & prefixes, vector all_sequences(1); for (size_t k = 0; k <= k_max; ++k) { - clog << "*** K = " << k << endl; + // clog << "*** K = " << k << endl; for (state s = 0; s < specification.graph_size; ++s) { const auto prefix = prefixes[s]; @@ -35,7 +35,7 @@ void test(const mealy & specification, const transfer_sequences & prefixes, void randomized_test(const mealy & specification, const transfer_sequences & prefixes, const separating_family & separating_family, size_t min_k, size_t rnd_length, const writer & output, uint_fast32_t random_seed) { - clog << "*** K >= " << min_k << endl; + // clog << "*** K >= " << min_k << endl; std::mt19937 generator(random_seed);