Skip to content

Emit the ITF trace to the standard output via --out-itf=- #782

New issue
New issue
Open
Open
Emit the ITF trace to the standard output via --out-itf=-#782
Labels
feedbackUser feedbacksimulatorQuint simulatorusabilityUsability issues
Milestone
 
Release quint Version 1.0.0
@konnov

Description

@konnov
konnov
opened on Apr 5, 2023

As suggested by @sergio-mena

Metadata

Metadata

Assignees

No one assigned

    Labels

    feedbackUser feedbacksimulatorQuint simulatorusabilityUsability issues

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions