Skip to content
Build and Test Dafny Runtimes

Improve error message locations for function calls and call arguments #9594

Sign in to view logs

Improve error message locations for function calls and call arguments

Improve error message locations for function calls and call arguments #9594

Annotations

1 warning

build

build
succeeded Jan 11, 2025 in 4m 45s