diff --git a/.azure-pipelines-templates/trace_validation.yml b/.azure-pipelines-templates/trace_validation.yml
index ba2173d3fb2c..d030187d2488 100644
--- a/.azure-pipelines-templates/trace_validation.yml
+++ b/.azure-pipelines-templates/trace_validation.yml
@@ -7,18 +7,29 @@ steps:
     displayName: "Install TLA dependencies"
 
   - script: |
-      set -x
       cd tla/
-      JSON=../build/replicate.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/election.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/multi_election.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/check_quorum.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/reconnect.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/reconnect_node.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/bad_network.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/fancy_election.1.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/fancy_election.2.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.1.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.2.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.3.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-    displayName: "Run trace validation"
+      JSON=../build/election_while_reconfiguration.ndjson ./tlc.sh Traceccfraft.tla
+      echo $?
+      echo "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^"
+      JSON=../build/replicate.ndjson ./tlc.sh Traceccfraft.tla
+    displayName: "Run trace validation without setting flags"
+
+  - script: |
+      set -ex
+      cd tla/
+      JSON=../build/election_while_reconfiguration.ndjson ./tlc.sh Traceccfraft.tla
+      echo $?
+      echo "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^"
+      JSON=../build/replicate.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/election.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/multi_election.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/check_quorum.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/reconnect.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/reconnect_node.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/bad_network.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/fancy_election.1.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/fancy_election.2.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/suffix_collision.1.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/suffix_collision.2.ndjson ./tlc.sh Traceccfraft.tla
+      JSON=../build/suffix_collision.3.ndjson ./tlc.sh Traceccfraft.tla
+    displayName: "Run trace validation"
\ No newline at end of file