Myocardial lactate production (coronary arterial-venous difference in serum lactate level) during coronary spasm provocation testing is considered as a highly sensitive marker that reflects acetylcholine-induced myocardial ischemia due to microvascular spasm. This article presents the procedures to assess myocardial lactate production for the diagnosis of coronary microvascular spasm.