[cvs-nhc98] Hat: Make a correct implementation of SATs B/C.

[Malcolm Wallace]

malcolm: Mon Mar 12 17:15:30 CET 2001

Update of /usr/src/master/nhc/src/tracer/runtime
In directory hinken:/tmp/cvs-serv6413

Modified Files:
	fileformat.c fileformat.h 
Log Message:
Hat: Make a correct implementation of SATs B/C.
    * For efficiency, SAT Bs are not written to file - they are kept
      in memory in a stack discipline.  (Writing a SAT C == pop.)
    * Also for efficiency, SAT Cs are not written to file immediately.
      We keep a large buffer of them, then write all at once.  The SAT C
      now overwrites its SAT A in the file, as it should do.
    * On termination, we need to ripple through any remaining SAT Bs
      and SAT Cs, making a final patch-up to the file.  At this point,
      we /do/ overwrite SAT As with SAT Bs, for black-hole detection.