Hitest keeps the complexity of its pattern generation under control by not allowing extensive time searches in attempts to drive fault data to and through sequential elements. Rather it treats the inputs to sequential elements as pseudoprimary outputs, and treats outputs of sequential elements as pseudoprimary inputs that are fixed for any given simulation time.
Source: wiktionary