Add testing to CI job

GaloisInc · Jan 16, 2025 · 2d49909 · 2d49909
1 parent c8c7d93
commit 2d49909
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/components/mission_key_management/Makefile b/components/mission_key_management/Makefile
@@ -40,4 +40,8 @@ clean:
 
 .PHONY: cn_proof
 cn_proof:
-	$(CN) client.c
+	$(CN) client.c
+
+.PHONY: cn_test 
+cn_test: 
+	./run-cn-test.sh client.c 
diff --git a/components/mission_key_management/run-cn-test.sh b/components/mission_key_management/run-cn-test.sh
@@ -2,6 +2,7 @@
 
 # Need to set this to max size of static array used in client.h
 ARRAY_MAX=128
+NUM_SAMPLES=1000
 
 set -euo pipefail
 
@@ -36,6 +37,7 @@ CN_FLAGS=(
   "-DCN_ENV" "-DCN_TEST"
   "--max-array-length=${ARRAY_MAX}"
   "--with-static-hack" # TODO remove when CN preprocessor limitations fixed 
+  "--num-samples=${NUM_SAMPLES}"
 )
 
 # Sanity check - $OUTPUT_FILE should be verifiable if $INPUT_FILE is