recheck

Overview ¶

Command recheck shows a finished run checked again: a scripted agent reads, writes, and publishes under a lenient policy that allows all three; the run is then re-checked under a stricter policy, which prints the steps it would have stopped; last, one event is altered in a copy of the database, and the check agentrt verify runs finds it. It needs no model and makes no network call.

go run ./examples/recheck [-dir path]

-dir defaults to a fresh temporary directory, removed afterwards; the database and its altered copy are written there.