output redirection

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index bf54ecc10aadf02a1807dec87dd7c013f998a81d..9ed6d423452a52e5c4ee006fa624fad809bdebc3 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -13,6 +13,7 @@
 #include "promise.h"
 #include "datarace.h"
 #include "threads-model.h"
 #include "promise.h"
 #include "datarace.h"
 #include "threads-model.h"

+#include "output.h"

 
 #define INITIAL_THREAD_ID      0
 
 
 #define INITIAL_THREAD_ID      0
 


@@ -139,6 +140,10 @@ void ModelChecker::reset_to_initial_state()
        too_many_reads = false;
        bad_synchronization = false;
        reset_asserted();
        too_many_reads = false;
        bad_synchronization = false;
        reset_asserted();

+
+       /* Print all model-checker output before rollback */
+       fflush(model_out);
+

        snapshotObject->backTrackBeforeStep(0);
 }
 
        snapshotObject->backTrackBeforeStep(0);
 }