tests(cargo-kani): add solana agent escrow example#4549

kamiyo-ai wants to merge 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

kamiyo-ai:kamiyo/kani-agentic-program-verification-primitiveskamiyo-ai/kani:kamiyo/kani-agentic-program-verification-primitivesCopy head branch name to clipboard