A model of eddy current nondestructive evaluation for a current leaking crack. (October 2021)