Ajout d'une valeur de retour selon le résultat, comme minisat, pour tester plus facilement la validité
Modif de gen.c pour générer un script pour tester la validité du truc