search

CatarinaGamboa / liquidjava

32 stars 1 forks source link

32 fields updates make verification wrong in state changes #33

Closed CatarinaGamboa closed 11 months ago

CatarinaGamboa commented 11 months ago

Main issue: calls to old() for the fields were being added to the constructor state change. This does not make sense in the constructor since there are no old instances when an object is created. This issue was solved by not removing these added calls.