Bonsoir à tous,
je suis en train de faire un programme qui doit générer une formule SAT à partir d'un graphe, la vérifier avec le solveur minisat, puis si elle est SAT effectuer diverses opérations dessus.
Mon soucis c'est que j'ai généré ma formule avec des printf et j'aimerais pouvoir rediriger stdout vers mon fichier (ça c'est ok) puis la remettre en "normal" une fois que j'ai fini d'écrire dans le fichier pour pouvoir continuer à avoir un suivi de l’exécution via des printf.
Schématiquement, ça donnerait :
stdout -> fichier
[Génération de la formule fia des printf]
stdout -> normal /* Pour pouvoir ré-effectuer des printf sans qu'ils aillent se glisser dans mon fichier */
Est ce que quelqu'un a déjà rencontré ce problème ?
En vous remerciant d'avance.
Message édité par cybkiller le 18-11-2012 à 14:23:16