Fix duplicate harness UUIDs

aws · Mar 1, 2023 · 5117321 · 5117321
1 parent 8197b6f
commit 5117321
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -156,6 +156,8 @@ jobs:
     steps:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
+      - name: Clone submodules
+        run: git submodule update --init --recursive --checkout --depth 1
       - name: Run CBMC
         uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
         with:

diff --git a/test/cbmc/proofs/Posix_RequestTimerCallback/Makefile b/test/cbmc/proofs/Posix_RequestTimerCallback/Makefile
@@ -1,10 +1,10 @@
 
-HARNESS_ENTRY = requestTimerCallback_harness
+HARNESS_ENTRY = Posix_RequestTimerCallback_harness
 HARNESS_FILE = $(HARNESS_ENTRY)
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.
-PROOF_UID = requestTimerCallback_harness
+PROOF_UID = Posix_RequestTimerCallback_harness
 
 INCLUDES += -I$(SRCDIR)/source/portable/os/
 

diff --git a/...erCallback/requestTimerCallback_harness.c → ...back/Posix_RequestTimerCallback_harness.c b/...erCallback/requestTimerCallback_harness.c → ...back/Posix_RequestTimerCallback_harness.c
diff --git a/test/cbmc/proofs/Posix_selfTestTimerCallback/Makefile b/test/cbmc/proofs/Posix_selfTestTimerCallback/Makefile
@@ -1,10 +1,10 @@
 
-HARNESS_ENTRY = selfTestTimerCallback_harness
+HARNESS_ENTRY = Posix_SelfTestTimerCallback_harness
 HARNESS_FILE = $(HARNESS_ENTRY)
 
 # This should be a unique identifier for this proof, and will appear on the
 # Litani dashboard. It can be human-readable and contain spaces if you wish.
-PROOF_UID = selfTestTimerCallback_harness
+PROOF_UID = Posix_SelfTestTimerCallback_harness
 
 INCLUDES += -I$(SRCDIR)/source/portable/os/
 

diff --git a/...rCallback/selfTestTimerCallback_harness.c → ...ack/Posix_selfTestTimerCallback_harness.c b/...rCallback/selfTestTimerCallback_harness.c → ...ack/Posix_selfTestTimerCallback_harness.c