Skip to content

fix: improve golang externs #3607

fix: improve golang externs

fix: improve golang externs #3607

Annotations

1 warning

getVersion  /  getDafnyVersion

succeeded Dec 17, 2024 in 13s