search

mattulbrich / dive

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

WIP: Fix for #160 #162

Closed mattulbrich closed 4 years ago

mattulbrich commented 4 years ago

See #160.

Currently, only a manifesting test case has been added.