Skip to content

Use operator equal for class compare #69

Open
@ladisgin

Description

@ladisgin
Member

In class that has operator== use it for assert in test and klee_assume in *_klee.cpp files.

probably add some config for it.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    cpp-syntaxRelated to generation tests for C++enhancementNew feature or request

    Type

    No type

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @ladisgin

        Issue actions

          Use operator equal for class compare · Issue #69 · UnitTestBot/UTBotCpp