Fixed bug on first trace of single core verification

TAPAAL · Aug 27, 2024 · 3e2788a · 3e2788a
1 parent 56f7c91
commit 3e2788a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp b/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp
@@ -52,8 +52,8 @@ bool SMCVerification::parallel_run() {
 
 bool SMCVerification::run() {
     prepare();
-    runGenerator.prepare(&initialMarking);
     runGenerator.recordTrace = mustSaveTrace();
+    runGenerator.prepare(&initialMarking);
     auto start = std::chrono::steady_clock::now();
     auto step1 = std::chrono::steady_clock::now();
     int64_t stepDuration;