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

check-deep-tests  /  check-deep-tests

check-deep-tests / check-deep-tests
succeeded Jan 11, 2025 in 5s