Artículo.
la herramienta mbeddr-spin puede establecer la relación entre la entrada de testigo y la declaración correspondiente en el arnés de verificación. Al hacer doble clic en una entrada del testigo, se seleccionará en el editor la parte correspondiente del arnés, desde la cual se origina esa entrada