Kani

Add Kani formal-verification proofs for the finance programs (+ two program hardenings) #1

Sign in to view logs

Triggered via pull request June 30, 2026 20:17

mikemaccana

synchronize #85

claude/escrow-kani-tests-i3q98g

Status Success

Total duration 21s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify