Al hacer apply de una definición que no se encuentre definida, permitir agregar el tipo de la definición y que se genere automáticamente un Parameter o Axiom que permita seguir realizando la prueba sin tener que cortar la misma.
Anonymous
You seem to have CSS turned off. Please don't fill out this field.