[ci] Test dolos

Signed-off-by: Pascal Nasahl <[email protected]>
lowRISC · Oct 16, 2023 · 261de47 · 261de47
1 parent 7759e1e
commit 261de47
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/ci/azure-pipelines.yml b/ci/azure-pipelines.yml
@@ -46,7 +46,7 @@ jobs:
       set -e
       pushd ci
       ./ci_check_tvla_aes.sh
-      ../cw/tvla.py --cfg-file cfg/ci_tvla_cfg_aes_specific_byte0_rnd0.yaml run-tvla
+      ../cw/tvla.py --cfg-file cfg/ci_tvla_cfg_aes_specific_byte0_rnd0.yaml run-tvla 
       popd
     displayName: "Check AES TVLA"
   - publish: ./ci/tmp/figures

diff --git a/ci/ci_check_aes_traces.sh b/ci/ci_check_aes_traces.sh
@@ -5,6 +5,7 @@
 # SPDX-License-Identifier: Apache-2.0
 
 # Simple script to test AES capture.
+set -e
 mkdir -p tmp
 
 # AES
@@ -19,7 +20,6 @@ for test in ${!aes_test_list[@]}; do
   NUM_TRACES=${aes_test_list[${test}]}
   ../cw/capture.py --cfg-file cfg/ci_capture_aes_cw310.yaml capture ${test} \
       --num-traces ${NUM_TRACES} ${ARGS}
-
   mv ./ci_projects/sample_traces_${MODE}.html tmp/${test}_traces.html
   ARGS=""
 done
diff --git a/ci/ci_check_tvla_aes.sh b/ci/ci_check_tvla_aes.sh
@@ -5,6 +5,7 @@
 # SPDX-License-Identifier: Apache-2.0
 
 # Simple script to test AES capture.
+set -e
 mkdir -p tmp
 
 # AES
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,6 +5,7 @@ @@
     # SPDX-License-Identifier: Apache-2.0
     # Simple script to test AES capture.
+    set -e
     mkdir -p tmp
     # AES
@@ Expand Down @@