EDN Admin
Well-known member
Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. Its a highly simplified and nifty way to leverage the power of Pex and Z3, one of the worlds fastest constraint solvers.
So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?
Nikolai Tillman and Peli de Halleux, software developers extraordinaire on MSRs RiSE team, join us again to dig into Code Digger in a casual setting (Nikolais office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.
View the full article
So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?
Nikolai Tillman and Peli de Halleux, software developers extraordinaire on MSRs RiSE team, join us again to dig into Code Digger in a casual setting (Nikolais office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.
View the full article