Tests no siguen formato de enunciado

[tomytable]

Hola, Hago la issue porque los tests dados para correr y probar el algoritmo no siguen el formato que se da en el enunciado. Más específicamente, no se cumple con que "La primera línea siempre es p cnf nprop nclaus". Ya que en los tests hay una línea que dice "cnf" y la siguiente tiene las variables nprop y nclaus.

Tenemos que actualizar nuestra función que lee el archivo o podemos seguir asumiendo que los tests vendrán en el formato dado en el enunciado?

Gracias

[juanreutter]

arreglado! Como decía en el anuncio: si hay algo extraño con los tests seguro es error humano.