Skip to content

fix: Generate Dafny 4.6 version of SimpleString patch for Rust (#345) #29

fix: Generate Dafny 4.6 version of SimpleString patch for Rust (#345)

fix: Generate Dafny 4.6 version of SimpleString patch for Rust (#345) #29

Annotations

2 warnings

push-ci-verification (4.4.0)  /  verification (4.4.0, TestModels/Aggregate, ubuntu-latest)

succeeded Apr 24, 2024 in 1m 33s