Skip to content

"--ropas-debug" option #2

@KihongHeo

Description

@KihongHeo

--bo-debug [n]
If n is

  • 0: print alarm report [default]
  • 1: print each procedural summary and alarm report with short symbol names
  • 2: all input-output states during the analysis with long symbol names

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions