Skip to content

v0.36.0

Compare
Choose a tag to compare
@dsainati1 dsainati1 released this 08 Mar 19:13
· 4912 commits to master since this release

What's Changed

⭐ Features

🐞 Bug Fixes

  • Fix racy tests by @turbolent in #2345
  • Code coverage support for pre/post conditions inside functions by @m-Peter in #2371
  • Add position information to rewritten post condition before statement by @turbolent in #2373

📖 Documentation

Other Changes

Full Changelog: v0.35.0...v0.36.0