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.

genre : nom_du programme 1> fichier << "une chaîne de fin de traitement"

Salut, merci pour ta réponse.
 
En fait, je fais tout ça à partir de C donc je ne peux pas faire comme en bash ou un chevron redirige tout

T'as pas une fonction set_standard_output en C ?

Et par là http://www.cmi.univ-mrs.fr/~conten [...] &page=file

Bonjour, merci à tous pour vos réponses !
 
J'ai fini par trouver, en fait tout ce que j'avais fait jusqu'à présent fonctionnait à un détail près, il fallait mettre des fflush pour stdout.
 
Merci à tous !