Reliable leak detection in a heat exchanger of a sodium-cooled fast reactor. (July 2020)