search

mattulbrich / dive

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

Immutable method parameters #178

Closed SpringVaS closed 4 years ago

SpringVaS commented 4 years ago

Simple data type parameters of a method (call by value) should not be writable within that method. False can be proven. immutableparams