3 ms·
One thing I may have missed from the documentation: is it possible to check post-conditions (side effects of the function and return value)?
by St-Clock 15y ago
One thing I may have missed from the documentation: is it possible to check post-conditions (side effects of the function and return value)?
- irahul 15y agoSide effects can be checked in `@leave(check_side_effects)`. I plan to add something to check results.