Skip to content

[Monitor] Create CLI flag to ignore #[idle] pragma (always print idle() transactions) #189

@ngernest

Description

@ngernest

When an idle() protocol is annotated with the #[idle] pragma, the monitor omits idle() transactions from its output trace. However, when driving the interpreter with the same trace in round-trip tests (#187), we need to include the idle() transactions in the trace since we have to explicitly specify what the values on the input pins ought to be.

For the purposes of round-trip tests, we should create a CLI flag for the monitor that ignores the #[idle] pragma, i.e. always print out idle() transactions in the monitor, so that the exact same trace can be used for both the interpreter / monitor.

Metadata

Metadata

Assignees

Labels

ChoreQuality-of-life improvements / Refactors that don't affect functionality

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions