0545e9dc6d
commit d1edce71135cc6d98c0a4b5729774542b676e769 Author: sophgo-forum-service <forum_service@sophgo.com> Date: Fri Mar 15 16:07:33 2024 +0800 [fix] recommend using ssh method to clone repo. [fix] fix sensor driver repo branch name.
This proof demonstrates the memory safety of the TaskGetCurrentTaskHandle
function. We assume that pxCurrentTCB is not NULL and we check that the
return value is not NULL.
This proof is a work-in-progress. Proof assumptions are described in the harness.