Free practice · matching · medium
Practice
Match function tests to purposes
Match each test focus to the evidence it provides.
Function contract trace
A caller supplies values and receives one defined result
- ContractDefine inputs, output, and failures
- ArgumentsEvaluate supplied values
- ParametersBind local names
- BodyRun focused local logic
- ReturnSend the result to the caller
- TestCheck the public contract
Keep argument evaluation, parameter binding, local state, return behavior, and external side effects visible at the function boundary.