1. A method, comprising: modifying, by a computing device, a first section of a map in accordance with user input requesting a customization to the first section of the map, wherein the map correlates elements of an electronic design under test to corresponding elements of a graph-based representation of the electronic design, and wherein the customization to the first section of the map is based on a customization of a hardware description language in which the electronic design is expressed; applying, to the elements of the electronic design, one or more test sequences that were generated based on the graph-based representation of the electronic design; modifying a first section of the electronic design based on an analysis of results from applying the one or more test sequences; determining that the first section of the map needs to be updated based on the first section of the electronic design being modified; and updating the first section of the map such that the customization to the first section of the map is preserved.