[Javapathfinder-user] Symbolic execution documentation updated

[ciogeetaa j. <tay...@ya...>]

I've checked in some more updates to the documentation for the symbolic execution extension (extensions/symbc/doc/index.html and extensions/symbc/doc/index.pdf).

I'll be adding a bit more to it over the next few days, so any suggestions or corrections are welcome.

David Bushnell


 Send instant messages to your online friends http://uk.messenger.yahoo.com