| Issue 4: | Implementation | |
| Back to list |
Use assert to check pre-conditions, post-conditions, argument validity, return-value validity, and invariants. |
| Issue 4: | Implementation | |
| Back to list |
Use assert to check pre-conditions, post-conditions, argument validity, return-value validity, and invariants. |