Fixed isue where failed concolic tests were not logged. Updated entry-points to use XPath in the real-sites test.