Símbolos de la especificación

Los símbolos de especificación son los siguientes:

• tilde en verde => El programa será generado
• tilde en rojo con ! => El programa será generado con warning
• = en verde => El programa no necesita ser generado
• = en rojo con ! => El programa no necesita ser generado pero tiene warning
• x en rojo => El programa no será generado

Nota: se agrego el símbolo de admiración (!) para que las personas daltónicas distingan cuando un objeto especifica con warning, ya que ellas no diferenciaban entre el rojo y el verde.