As a developer using CMocka, I need to understand how to verify specific arguments passed to a mocked function. Explain which functions are used to set expected parameter values in a test and which function is used within the mocked function to assert those values, providing an example of their combined use.
Navigate to the 'Checking Parameters' module. Identify the primary functions used to set expected parameter values (e.g., `expect_value`, `expect_string`). Navigate to the 'Mock Objects' module. Identify the function or macro used within a mocked function to assert received parameters against the expected values (e.g., `check_expected`). Synthesize the information from both modules to explain how these functions are used together, including where each is called and how they facilitate parameter verification.
Successfully identifies `expect_value()` and `expect_string()` (or similar `expect_*` functions) as used for setting expected parameters in the test setup. Successfully identifies `check_expected()` as the macro used within the mocked function to assert received parameters. Clearly explains that `expect_*` functions are called in the test setup to define expectations. Clearly explains that `check_expected()` is called inside the mocked function to perform the actual parameter assertion. Provides a concise explanation of how these functions work together to verify parameters passed to a mocked function in CMocka.