advenjure icon indicating copy to clipboard operation
advenjure copied to clipboard
verified publisher icon facundoolano

remove old state argument from postconditions

Open facundoolano opened this issue 8 years ago • 0 comments

it's annoying and never useful

facundoolano avatar Oct 16 '17 01:10 facundoolano