StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Answers and rating deltas for

Is {true} x := y { x = y } a valid Hoare triple?

Author Votes Δ
aioobe 4 0.00
Swarnendu Biswas 1 +3.86
Roger F. Gay -2 -3.86
Last visited: Sep 14, 2014, 5:07:29 AM