8
A
Répondre
3
Il y a assez peu de Channel 9 vidéos qui expliquent comment fonctionne Pex, mais je voudrais jeter un oeil à this one d'abord. Un grand nombre des épisodes de The Verification Corner passent aussi en revue les concepts même s'ils ne le disent pas explicitement.
5
Nikolai Tillmann a répondu à la même question sur les forums Pex: http://social.msdn.microsoft.com/Forums/en-US/pex/thread/71c90936-b3af-4d90-af87-f6ecba797cb7
Salut, Merci pour ces liens. J'ai lu quelque part qu'il utilise l'API de profilage clr. J'essaie d'en savoir plus à ce sujet. – dotnetdev