This repository contains the source for AppNote 400: Introduction to Mutation Coverage with Yosys (MCY)