search

tokio-rs / prost

PROST! a Protocol Buffers implementation for the Rust Language
Apache License 2.0
3.87k stars 501 forks source link

tests: Change some proptest to kani proofs #1133

Closed caspermeijn closed 1 month ago

caspermeijn commented 1 month ago

Three proptests are executed as kani proofs in CI. Make that explicit by marking them as kani proof. This removes the dependency on propproof dependency when using kani.