[cvs-nhc98] Improve the low-level routine to find the result of an app
Malcolm Wallace
malcolm@sparud.net
Thu, 14 Feb 2002 11:48:44 +0100 (CET)
malcolm: Thu Feb 14 11:48:43 CET 2002
Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv27401
Modified Files:
utils.c
Log Message:
Improve the low-level routine to find the result of an application
in hat-explore. If there is no SAT following the application, then
follow the parent pointer and look for a SAT after that, recursively.