update using sed

model-checking · Sep 20, 2023 · 0faacc4 · 0faacc4
1 parent bbe8513
commit 0faacc4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
@@ -58,7 +58,7 @@ jobs:
  - name: Test run Kani with latest version
  run: |
  installed_version=$(kani --version | awk '{print $2}')
- expected_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}')
+ expected_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}' | sed 's/"//g')
 
  if [[ "$installed_version" == "$expected_version" ]]; then
  echo "The installed version ($installed_version) matches the latest version. ($expected_version)"