Euh, oui, sauf que là, tu confonds un déboggueur et un prouveur.
Le déboggueur, il ne trouve pas les bugs à ta place, il te donne une execution instrumentée et/ou pas à pas de ton programme. C'est de la pure technique, rien à voir avec les problèmes de décidabilité théoriques.
[^] # Re: ouais
Posté par Matthieu Moy (site web personnel) . En réponse au journal printf debugging considered harmful. Évalué à 3.
Le déboggueur, il ne trouve pas les bugs à ta place, il te donne une execution instrumentée et/ou pas à pas de ton programme. C'est de la pure technique, rien à voir avec les problèmes de décidabilité théoriques.