[m-dev.] Re: for review: new method of handling failures, part 1 of 6

[Fergus Henderson]

On 07-Jul-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> > > I don't know the reason. I suppose we could reverse the order, see what
> > > breaks, and document that :-(
> > 
> > Well, goal_info.m has a slightly more detailed comment:
> > 
> >  % ... Note that when traversing forwards
> >  % through a goal, deaths must be applied before births;
> >  % this is necessary to handle certain circumstances where a
> >  % variable can occur in both the post-death and post-birth sets,
> >  % or in both the pre-death and pre-birth sets.
> 
> Yes, but this doesn't say what those circumstances are, which is the crux
> of the issue.

True.  But the log message for the change which added that comment
says that the regression test is in tests/hard_coded/erroneous_liveness.m.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.