[renames, reordering, intra-method] Add tests for renames and for reordering

dafny-lang / dafny

Dafny is a verification-aware programming language

https://dafny.org

Other

2.92k stars 262 forks source link

[renames, reordering, intra-method] Add tests for renames and for reordering #1743

Open robin-aws opened 2 years ago

keyboardDrummer commented 2 years ago

We already did something here: https://github.com/dafny-lang/dafny/pull/1692

I think the rename tests is incomplete though. I've noticed that not everything gets its name normalised, so that's something we still need to improve.