Buenas, quisiera preguntar ya que leyendo las diapositivas y viendo los practicos hay dos posibilidades de manejar las precondiciones. Si en la especificacion de un TAD determino que una funcion tiene precondicion, es correcto (para el parcial) escribir un assert o un if en la implementacion de esa funcion controlando asi el caso erroneo? O alcanza con escribirlo en la especificacion y al escribir la implementacion no se toma en cuenta ese caso porque se asume que se cumple? Gracias.
Se asume que se cumple.
El uso del assert puede tener utilidad durante la fase de desarrollo para ayudar a la detección de errores. Esto no se aplica en las pruebas escritas.