me (at andresteingress)
-
missing return causes wrong method behavior
was updated by me (at andresteingress)
Thursday Apr 14
ticket -
test-case for [#16]
https://github.co...
was committed by Andre Steingress
11:14 AM
changeset
-
cyclic method calls when querying property in class invariantwas updated by me (at andresteingress) 11:10 AM ticket -
multiple return statements cause missing postcondition validationwas updated by me (at andresteingress) 11:08 AM ticket -
multiple return statements cause miss...
was committed by Andre Steingress
11:07 AM
changeset
-
multiple return statements cause missing postcondition validation
was updated by me (at andresteingress)
11:07 AM
ticket
-
cyclic method calls when querying pro...
was created by me (at andresteingress)
Tuesday Apr 12
ticket -
fixed a comment
https://github.com/an...
was committed by Andre Steingress
06:40 PM
changeset
-
precondition specification on constructor with default value failswas updated by me (at andresteingress) 11:23 AM ticket -
precondition specification on constru...
was committed by Andre Steingress
11:23 AM
changeset