Merge branch 'main' of github.com:microsoft/CCF into log_dropped_mess…

…ages
eddyashton · Feb 16, 2024 · 68cc60a · 68cc60a
2 parents 28bcbaa + eab71a3
commit 68cc60a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.azure-pipelines-templates/trace_validation.yml b/.azure-pipelines-templates/trace_validation.yml
@@ -12,7 +12,7 @@ steps:
       cd tla/
       mkdir traces
       cp ../build/*.ndjson traces/
-      parallel 'set -o pipefail && echo {} && JVM_OPTIONS=-Dtlc2.tool.queue.IStateQueue=StateDeque JSON={} ./tlc.sh -dump dot,constrained,colorize,actionlabels {}.dot -dumpTrace tla {}.trace.tla -dumpTrace json {}.trace.json consensus/Traceccfraft.tla | ./last_line.sh {}.trace.json' ::: $(ls traces/*.ndjson)
+      parallel 'JVM_OPTIONS=-Dtlc2.tool.queue.IStateQueue=StateDeque JSON={} ./tlc.sh -dump dot,constrained,colorize,actionlabels {}.dot -dumpTrace tla {}.trace.tla -dumpTrace json {}.trace.json consensus/Traceccfraft.tla' ::: $(ls traces/*.ndjson)
     displayName: "Run trace validation"
 
   - task: PublishPipelineArtifact@1