When possible, report line numbers of splits when using `/trace` - Githubissues

boogie-org / boogie

Boogie

http://research.microsoft.com/en-us/projects/boogie/

MIT License

514 stars 112 forks source link

When possible, report line numbers of splits when using `/trace` #927

Closed keyboardDrummer closed 3 months ago

keyboardDrummer commented 3 months ago

Changes

When possible, report line numbers of splits when using /trace

Testing

One existing test has been updated to check for the new line numbers