Code Digger analyzes possible execution paths through your .NET code. The result is a table where each row shows a unique behavior of your code. The table helps you understand the behavior of the code, and it may also uncover hidden bugs.
Through the new context menu item "Ge...
I have found this tool very useful - generating cases I would not have thought of and obscure conditions that would potentially stop the application - I can now account for these conditions in error handling
I am very pleased as this will increase the robustness of my application
Trying to run on Visual studio 2012 Professional throws the following exception "Microsoft Pex Exploration Host has stopped working". On selecting "Generate Input/Outputs table" produces the input/output table followed by this exception
What an awesome tool.. Help us to explore our logic by providing accurate input parameter for each logic branch.. You should try this as one of your ultimate tool :) It really saves a lot of our time to explore every logic branch in our apps..
I like the minimalistic approach as compared to the old Pex. Adding cut and paste from the inputs/outputs window would be great. Showing code coverage in the target code would also be good.
I got burned with Pex and Moles when there was no replacement/upgrade/fix for VS2012. I told people: "Let the name of Pex and Moles be stricken from every book and tablet, stricken from all pylons and obelisks, stricken from every line of code". :( http://www.imdb.com/title/tt0049833/quotes Maybe this could be open sourced so it won't die when Nikolai and Peli move on to something else.
CodeDigger is a great tool and we like to use it in production! But I think I encountered some problems. Especially with constructors. It seems, that CodeDigger does not instantiate a class by all available constructors. Sometimes it seems, that CodeDigger does not used the standard ctor as well. Is that correct?
Further, sometimes CodeDigger does not generate any outputs! What does that mean?
If you like I can send some code examples to show the problem with ctors or something else and I hope you can answer my question!
Thanks a lot in advance and best regards from Berlin!
I have to mention, that we use Fody for aspect-oriented programming. When I weave the NullGuard into the project, every output from CodeDigger disappears.
But the question about the ctors is still valid! :)
Thanks a lot!
Framework Version: v4.0.30319
Description: The process was terminated due to an unhandled exception.
Exception Info: System.InvalidOperationException
Server stack trace:
at Microsoft.ExtendedReflection.Remote.RemoteServer.GetClient(String clientID)
I have tried to use it on PLC, VS 2012 Update 3 and W2K12 Standard and I get following info in Pex output:
listening to monitored x86 process (cold start)
monitored process exited with monitoring of X86 code not properly enabled (-1016 - 0xfffffc08)
On W2K7 and VS 2012 Update 3 same code works.
Any idea how to make it working?
First of all thanks for this plugin I really appreciate your work here.
Could you please guide me how to know at which line/method error actually occurred just like the web version of PEX (PEX4Fun) where after the output is generated clicking/selecting an error gives the error details below.