search

mattulbrich / dive

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

Assignable check does not allow modifying new objects #173

Open mattulbrich opened 4 years ago

mattulbrich commented 4 years ago

Currently any assignment must be into the $mod set which is not the full story.