On Mon, Jun 12, 2023 at 02:38:44PM -0500, Eric Blake wrote:
> On Mon, Jun 12, 2023 at 07:27:53PM +0100, Richard W.M. Jones wrote:
> > Logging state transitions in debug mode produces huge amounts of
> > output which is not especially helpful. This change removes this
> > debugging output. This re
On Mon, Jun 12, 2023 at 07:27:53PM +0100, Richard W.M. Jones wrote:
> Logging state transitions in debug mode produces huge amounts of
> output which is not especially helpful. This change removes this
> debugging output. This reduces the debug output by approximately two
> thirds.
> ---
> gener
Logging state transitions in debug mode produces huge amounts of
output which is not especially helpful. This change removes this
debugging output. This reduces the debug output by approximately two
thirds.
---
generator/state_machine_generator.ml | 12
1 file changed, 12 deletions(
