Skip to content

Document Arbitrary trait #3568

@celinval

Description

@celinval

Requested feature: Provide documentation of the Arbitrary trait (https://model-checking.github.io/kani/crates/doc/kani/trait.Arbitrary.html)
Use case: Users trying to understand how to use and implement the Arbitrary trait.
Link to relevant documentation (Rust reference, Nomicon, RFC):

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] DocumentationAdditions and improvements to our documentation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions