3 ms·
Some differences from Eiffel contracts: no class invariants, and postconditions don't have access to previous object state.
by arunix 10y ago
Some differences from Eiffel contracts: no class invariants, and postconditions don't have access to previous object state.