search

mattulbrich / dive

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

Type resolution not fully implemented #95

Closed mattulbrich closed 5 years ago

mattulbrich commented 5 years ago
mattulbrich commented 5 years ago

List and sets: done a[..]: done

var s:set<C> := { null } : OPEN see testcase typingTest.challengeNull

mattulbrich commented 5 years ago

seq + seq and set + set do not work yet.

mattulbrich commented 5 years ago

seq + seq and set + set: done

mattulbrich commented 5 years ago

All issues have been addressed.