The tst field of the procrels record does not seem to be used at all across the codebase. No in-repo cat file mentions i. Moreover herd7 initialises it to an empty relation in herd/modelUtils.ml and, as far as I can tell, never populates it further. herd/machModelChecker.ml nevertheless exposes it to the cat interpreter as an initial binding.
To me, this field looks like dead/unused code that we should be able to safely clean up.
The
tstfield of theprocrelsrecord does not seem to be used at all across the codebase. No in-repo cat file mentions i. Moreover herd7 initialises it to an empty relation inherd/modelUtils.mland, as far as I can tell, never populates it further.herd/machModelChecker.mlnevertheless exposes it to the cat interpreter as an initial binding.To me, this field looks like dead/unused code that we should be able to safely clean up.