Merge branch 'main' into client_tracing

achamayou · Oct 12, 2023 · a6d5947 · a6d5947
2 parents c3a0eb0 + f012149
commit a6d5947
Showing 1 changed file with 14 additions and 13 deletions.
diff --git a/.azure-pipelines-templates/trace_validation.yml b/.azure-pipelines-templates/trace_validation.yml
@@ -2,23 +2,24 @@ steps:
   - script: |
       set -ex
       sudo apt update
-      sudo apt install -y default-jre
+      sudo apt install -y default-jre parallel
       python3 ./tla/install_deps.py
     displayName: "Install TLA dependencies"
 
   - script: |
       set -ex
       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
+      parallel 'JSON={} ./tlc.sh Traceccfraft.tla' ::: \
+      ../build/replicate.ndjson \
+      ../build/election.ndjson \
+      ../build/multi_election.ndjson \
+      ../build/check_quorum.ndjson \
+      ../build/reconnect.ndjson \
+      ../build/reconnect_node.ndjson \
+      ../build/bad_network.ndjson \
+      ../build/fancy_election.1.ndjson \
+      ../build/fancy_election.2.ndjson \
+      ../build/suffix_collision.1.ndjson \
+      ../build/suffix_collision.2.ndjson \
+      ../build/suffix_collision.3.ndjson
     displayName: "Run trace validation"