introduced heuristic for matchingParameters

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed JonasKlamroth closed 3 years ago

JonasKlamroth commented 3 years ago

Introducing a heuristic for mathcing parameters. Should be way more concise and understandable.

JonasKlamroth commented 3 years ago

already on master