[provenance-challenge] Re: Optional Query 9

[Ben Clifford]

On Mon, 27 Apr 2009, Joe Futrelle wrote:

> Right, and the general issue is for graph A (of the execution that 
> halted early) and graph B (of the execution which completed) is A always 
> a subgraph of B or is there something about recording halting during 
> failure that would lead to a more complicated relationship between A and 
> B?

In our present Swift implementation of the challenge workflow, I think it 
isn't entirely a subgraph - we run a halt process in B that we do not run 
in B, and that is explicitly recorded.

--