Merge pull request #179 from nyx-space/172-fix-formal-verification

Fix formal verification
nyx-space · Dec 2, 2022 · 2e3b8ad · 2e3b8ad
2 parents 9c99695 + e79cc01
commit 2e3b8ad
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/.github/workflows/formal_verification.yml b/.github/workflows/formal_verification.yml
@@ -32,8 +32,16 @@ jobs:
  cargo install --locked kani-verifier
  cargo-kani setup
 
- - name: Run Kani
+ - name: Run Kani with and without reports
  run: |
  # Remove `cdylib` from targets in Cargo.toml because it confuses Kani
- sed -i s/'"cdylib", "rlib"'/'"rlib"'/ Cargo.toml
- cargo kani
+ sed '17d' Cargo.toml > Cargo.toml.new
+ mv Cargo.toml.new Cargo.toml
+ cargo kani # Shows the result in stdout
+ cargo kani --visualize
+
+ - name: Save formal verification artifacts
+ uses: actions/upload-artifact@v3
+ with:
+ name: formal-verification-report
+ path: target/report*/html/**/*