How to get the covered paths for a found path

[leithon]

With pg.explore(find = find), I can generate the target path as pg.found[0].

If I want to get the exercised path objects of pg.found[0], how could I do?

I know the addresses of execrised blocks can be accessed by path.addr_trace[], for path objects, how to access them？

Thanks.

[zardus]

You can iterate through the history of the path with path.history_iterator. Each history object has information regarding the blocks executed, constraints added, and so forth along the path.

There's no good way to get the original path objects -- in most cases, they'll have already been garbage collected.