Crate depyler_verify 

Modules

contract_verification

Advanced contract verification system with SMT solver integration

contracts

examples

Doctests for public API

lifetime_analysis

lifetime_shim

Lifetime Analysis Shim - pure logic separated from I/O

memory_safety

memory_shim

Memory Safety Shim - pure logic separated from I/O

properties

quickcheck

Structs

PropertyVerifier

TestCase

VerificationResult

Enums

PropertyStatus

VerificationMethod