Example demonstrating the need to analyse event sequences in certain cases.
Added script to collate a sequence of graphviz files generated by concolic mode into a single pdf "animation".
Temporary fix to use 'id' in preference to 'name'.
Fix a bug where displayed trees would be generated badly.
Update entry-point finder to support some specific examples which I want to test.
Modify search procedure to ignore concrete branches.

We can't do anything aboutconcrete branches, so it is no use trying to explore them. This hugely decreases the number of tests run in concolic mode but does not affect the results.
Add a log of the calls made to z3-str.

This is useful for debugging and for characterising the types of constraints that are being generated.
USAirways example which causes a problem.
Some more entry point refinements.
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
More hard-coded entry points.
Fixed a concolic search bug and added a test.

Fixed a bug where the DFS would get into a bad state when it tried to explore a node which was the final leaf in the tree and failed (for any reason). It would then not check whether we were at the end of the tree and try to continue.

This seems to have come up quite a bit in the real sites testing.

Also added a test which triggered this behaviour.
Mark unexplored but attempted nodes with the reason for failure.
Output graphs even for unsolved constraints. This shows the progress even when there is no new trace.
Ability to mark nodes as UNSAT.
Correct spelling mistake.
Better hard-coded entrypoint finding.
Extra logging for solver errors.
Small fix to trace graphs.