From dd5ef10f93af0915b8081111b00fc751a0ae6a49 Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Tue, 19 Sep 2023 20:33:27 -0400
Subject: [PATCH] Check against exact pattern match

---
 .github/workflows/test-action.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
index 718b683..e52b23e 100644
--- a/.github/workflows/test-action.yml
+++ b/.github/workflows/test-action.yml
@@ -40,7 +40,7 @@ jobs:
 
       - name: Test run Kani with older version
         run: |
-          installed_version=$(kani --version)
+          installed_version=$(kani --version | awk '{print $2})
           expected_version='0.33.0'
 
           if [[ "$installed_version" == "$expected_version" ]]; then
@@ -57,7 +57,7 @@ jobs:
 
       - name: Test run Kani with latest version
         run: |
-          installed_version=$(kani --version)
+          installed_version=$(kani --version | awk '{print $2})
           expected_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}')
 
           if [[ "$installed_version" == "$expected_version" ]]; then