Open fidel-ml opened 2 years ago
Por la precondición no es necesario poner Fin
Ahora no está igual... Para poder no poner el caso Fin, deberías consignar la precondición de forma explícita como parte de la documentación de la función (después de su tipo).
le agregue el fin, así no le agrego la precondición
En el caso Fin
das 0, y esa respuesta da a entender que en ese lugar hay un tesoro, lo que es incorrecto.
DEBERÍA fallar con error.
Porque cuando encuentra el tesoro, sigue contando...