From 8b202975666dadcab4926a8474bea9180160693a Mon Sep 17 00:00:00 2001
From: aidan garske <aidangarske03@gmail.com>
Date: Wed, 22 Jul 2026 13:02:15 -0700
Subject: [PATCH] Assert the actual verify result in the pkcs7 and rsa-nb
 checks

---
 pk/rsa/Makefile | 2 +-
 pk/rsa/rsa-nb.c | 3 +++
 pkcs7/Makefile  | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/pk/rsa/Makefile b/pk/rsa/Makefile
index 96f92690..b50a4f46 100644
--- a/pk/rsa/Makefile
+++ b/pk/rsa/Makefile
@@ -38,5 +38,5 @@ clean:
 check: SHELL := /bin/bash
 check: .SHELLFLAGS := -eo pipefail -c
 check: rsa-nb
-	./rsa-nb | grep -q 'RSA non-block verify:'
+	./rsa-nb | grep -q 'RSA non-block verify successful'
 	@echo "PASS: pk-rsa checks"
diff --git a/pk/rsa/rsa-nb.c b/pk/rsa/rsa-nb.c
index 7caaa6f0..c055cd6a 100644
--- a/pk/rsa/rsa-nb.c
+++ b/pk/rsa/rsa-nb.c
@@ -227,6 +227,9 @@ int main(int argc, char** argv)
     if (verifySz != (int)inSz || XMEMCMP(plain, in, inSz) != 0) {
         ret = SIG_VERIFY_E;
     }
+    else {
+        printf("RSA non-block verify successful\n");
+    }
 
 prog_end:
 
diff --git a/pkcs7/Makefile b/pkcs7/Makefile
index 15e13416..5c0d717c 100644
--- a/pkcs7/Makefile
+++ b/pkcs7/Makefile
@@ -62,5 +62,5 @@ clean:
 check: SHELL := /bin/bash
 check: .SHELLFLAGS := -eo pipefail -c
 check: signedData-stream
-	./signedData-stream content.txt | grep -q 'bytes from file'
+	./signedData-stream content.txt | grep -q 'Successfully verified SignedData bundle'
 	@echo "PASS: pkcs7-signeddata-stream checks"