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

3 warnings

push-ci-net (4.4.0)  /  testDotNet (4.4.0, TestModels/Extern, 6.0.x, ubuntu-latest)

succeeded Apr 24, 2024 in 1m 48s