Open pas opened 12 years ago
Added invariants to user and item
great. :D Any more needed at all?
Added preconditions to user. Still missing in item.
aybe we should add some postconditions, but I fon't really like them because they mostly cover the same as the test.
Until now we missed to make invariants and assertions...