Pruebas de casos en el Main