Also print the program name in smoke test

mit-plv · Nov 17, 2023 · 2177d3e · 2177d3e
1 parent 8d31848
commit 2177d3e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/etc/test-run-fiat-crypto-silent-no-bedrock2.sh b/etc/test-run-fiat-crypto-silent-no-bedrock2.sh
@@ -12,5 +12,5 @@ fi
 for prog in word-by-word-montgomery unsaturated-solinas saturated-solinas base-conversion; do
   lang_line="$("${fiat_crypto}" $prog -h | grep -- --lang)"
   search='Defaults to C if'
-  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::Missing %s in %s\n" "${search}" "${lang_line}"; exit 1; }
+  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::%s: Missing %s in %s\n" "${prog}" "${search}" "${lang_line}"; exit 1; }
 done
diff --git a/etc/test-run-fiat-crypto-silent.sh b/etc/test-run-fiat-crypto-silent.sh
@@ -12,7 +12,7 @@ fi
 for prog in word-by-word-montgomery unsaturated-solinas saturated-solinas base-conversion; do
   lang_line="$("${fiat_crypto}" $prog -h | grep -- --lang)"
   search='[Bb]edrock2'
-  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::Missing %s in %s\n" "${search}" "${lang_line}"; exit 1; }
+  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::%s: Missing %s in %s\n" "${prog}" "${search}" "${lang_line}"; exit 1; }
   search='Defaults to C if'
-  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::Missing %s in %s\n" "${search}" "${lang_line}"; exit 1; }
+  printf "%s\n" "${lang_line}" | grep -q "$search" || { printf "::error::%s: Missing %s in %s\n" "${prog}" "${search}" "${lang_line}"; exit 1; }
 done