Skip to content
This repository was archived by the owner on Jul 8, 2024. It is now read-only.
This repository was archived by the owner on Jul 8, 2024. It is now read-only.

SMV-AV:Portable defect traces in SMV with AV #14

Open
Open
SMV-AV:Portable defect traces in SMV with AV#14

Description

@shuvendu-lahiri
Shuvendu Lahiri (shuvendu-lahiri)
opened on Feb 22, 2017

Allow SMV to produce defect traces that can be inspected and shared without any further user action.

Activity

  1. Shuvendu Lahiri (shuvendu-lahiri)
    changed the title [-]Portable defect traces in SMV with AV[/-] [+]SMV-AV:Portable defect traces in SMV with AV[/+] on Feb 23, 2017

  2. shuvendu-lahiri commented on Jun 21, 2017

    @shuvendu-lahiri
    Shuvendu Lahiri (shuvendu-lahiri)
    on Jun 21, 2017
    MemberAuthor

    rahulku I think this can be closed now.

  3. rahulku commented on Jun 21, 2017

    @rahulku
    rahulku
    on Jun 21, 2017
    Contributor

    I will once Abhishek's pull request is completed.

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

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions