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.
Code digger seems to have issues with app.config files. In several cases where it din't generate any input/output I removed app.config from the project, which resulted in input/output being generated..
Yes, that fixed that one problem with the app.config. Code Digger gets a bit further now, it starts to generate the input/output table items, but once the first item is displayed on the table, Code Digger crashes and burns once again and I get the prompt to send Crash Information to Microsoft. I proceed to send the information and then rinse and repeat and watch it crash and burn again. It doesn't seem to matter the location I generate the ins/outs from (any method), it crashes everywhere in the same way. I hope that you guys are able to see the Microsoft Crash reports about this, I wish I had more time to QA this but it is still unstable so I can't use it in a real world scenario just yet.
Thanks and please keep rolling out the updates.