Check against exact pattern match

model-checking · Sep 20, 2023 · dd5ef10 · dd5ef10
1 parent f678266
commit dd5ef10
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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