Can we simulate the NvM_WriteBlock() in the code prover ?

Hello

I doing the static analysis of an autosar project. I have configured NVM_SINGLE_BLOCK_CALLBACK for the NvM_WriteBlock() which is a pointer to the callback routine which shall be called by the NvM after termination of each asynchronous single block write request. Currently the callback is shown as grey code to me.

I would like to know that whether the callaback will ever be called since the codeprover can not actually do an NvM wirte since after all its a simulator.