Skip to content

Print Kani development version info #2617

@adpaco-aws

Description

@adpaco-aws

Requested feature: Print development version info (i.e., git commit, branch or status) in development builds.
Use case: Development and debugging.
Link to relevant documentation (Rust reference, Nomicon, RFC): N/A

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] Feature / EnhancementA new feature request or enhancement to an existing feature.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions