search

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)
GNU General Public License v3.0
4 stars 0 forks source link

towards improved insert cases based on pn ast matching #201

Closed JonasKlamroth closed 3 years ago

JonasKlamroth commented 3 years ago

Indrodced matching functions from ast to pns and vice versa. Updated insertcases routine using the new functionality.