Skip to content

Commit

Permalink
mkm: test script now needs legacy --with-static-hack flag
Browse files Browse the repository at this point in the history
  • Loading branch information
septract committed Jan 3, 2025
1 parent c44975b commit 59e7337
Showing 1 changed file with 6 additions and 7 deletions.
13 changes: 6 additions & 7 deletions components/mission_key_management/run-cn-test.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/usr/bin/env bash

# Need to set this to max size of array used in client.h
# Need to set this to max size of static array used in client.h
ARRAY_MAX=64

set -euo pipefail
Expand Down Expand Up @@ -35,15 +35,14 @@ CN_FLAGS=(
"--magic-comment-char-dollar"
"-DCN_ENV" "-DCN_TEST"
"--max-array-length=${ARRAY_MAX}"
"--with-static-hack" # TODO remove when CN preprocessor limitations fixed
)

# Sanity check - $OUTPUT_FILE should be verifiable if $INPUT_FILE is
# echo "Sanity check - running the verifier:"
# cn verify "${CN_FLAGS[@]}" "${OUTPUT_FILE}"

CMD="cn test ${CN_FLAGS[@]} ${OUTPUT_FILE}"

# Run CN-test on the resulting file
echo "Running the test generator:"
echo "${CMD}"
$CMD
TEST_GEN_CMD=(cn test "${CN_FLAGS[@]}" "${OUTPUT_FILE}")
echo "Running the test generator:"
echo "${TEST_GEN_CMD[@]}"
"${TEST_GEN_CMD[@]}"

0 comments on commit 59e7337

Please sign in to comment.