miguelpagano/equ — Issue #3: Posible estrategia de prueba.
Author: alexgadea
Created: 2011-11-23 04:38:32+00:00
State: open
Labels: Feature

Supongamos que tenemos una prueba en la que en algún lado tiene un hueco en el que la segunda expresión es un hueco de preExpr, es decir,

f
rel {?}
?{}

entonces sería interesante tener una opción que dado un truth y nada mas, de información al usuario de donde podría aplicar es truth.
Por ejemplo, supongamos tenemos esta prueba

(p v p) v (p v p)
rel {?}
?{}

entonces decimos, me gustaría aplicar idempotencia pero no estoy seguro de donde podría aplicar. Luego poder pintar de alguna manera las expresiones a las cuales se les puede aplicar idempotencia para completar ambos huecos.