document and extend trace analysis interface

[cdsspec-compiler.git] / model.cc

diff --git a/model.cc b/model.cc
index d9caf9a91e72ef727835a24433ba3496c74f7cd6..90ef906ef6348ed9cdfc6717c1eaab1fb3d9e886 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -483,4 +483,8 @@ void ModelChecker::run()
 
        model_print("******* Model-checking complete: *******\n");
        print_stats();
+
+       /* Have the trace analyses dump their output. */
+       for (unsigned int i = 0; i < trace_analyses.size(); i++)
+               trace_analyses[i]->finish();
 }