Set up coverify