Skip to content

Resurect testing verification proofs #1

Open
Open
Resurect testing verification proofs#1
Milestone
CPP
@catalin-hritcu

Description

@catalin-hritcu
catalin-hritcu
opened on Sep 16, 2014

Two of the files are broken since 2f9d250

  • GenerationProofs.v
  • SSNICheckerProofs.v
    We should make them work again.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions