Skip to content

fix: Generate Dafny 4.6 version of SimpleString patch for Rust #353

fix: Generate Dafny 4.6 version of SimpleString patch for Rust

fix: Generate Dafny 4.6 version of SimpleString patch for Rust #353

Annotations

2 warnings

pr-ci-verification (4.4.0)  /  verification (4.4.0, TestModels/LocalService, ubuntu-latest)

succeeded Apr 24, 2024 in 1m 50s