Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add SeaHorn asserts and assume to go chaincode. #69

Open
codersguild opened this issue May 5, 2020 · 1 comment
Open

Add SeaHorn asserts and assume to go chaincode. #69

codersguild opened this issue May 5, 2020 · 1 comment
Assignees
@codersguild
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@codersguild
Copy link
Collaborator

No description provided.

@codersguild codersguild added enhancement New feature or request help wanted Extra attention is needed labels May 5, 2020
@codersguild
Copy link
Collaborator Author

Correct Seahorn Docker
seahorn/seahorn#264

@codersguild codersguild changed the title Add Scilla / Seahorn like verification to Chaincode Add SeaHorn asserts and assume to go chaincode. May 26, 2020
@codersguild codersguild self-assigned this May 28, 2020
@codersguild codersguild pinned this issue Jun 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@codersguild codersguild

Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@codersguild