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

SPV endorse continuation test #556

Merged
merged 2 commits into from Jun 15, 2019
Merged

SPV endorse continuation test #556

merged 2 commits into from Jun 15, 2019

Conversation

sirlensalot
Copy link
Contributor

No description provided.

@sirlensalot sirlensalot requested a review from emilypi June 15, 2019 06:12
emilypi
emilypi approved these changes Jun 15, 2019
View reviewed changes
Copy link
Member

@emilypi emilypi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great!

@sirlensalot sirlensalot merged commit a622a1e into master Jun 15, 2019
@sirlensalot sirlensalot deleted the feat/spv-endorse-cont-test branch June 15, 2019 06:28
bts added a commit that referenced this pull request Jul 9, 2019
@bts
Merge remote-tracking branch 'origin/master' into test-verify
8816d8a 
* origin/master:
  Change 'executed' output to 'Maybe Bool' to indicate private exec (#560)
  Write a few older tests in terms of new testing system.
  Roll back (not needed) analysis write validation.
  Rewrite expected failure properties.
  Small alignment tweak.
  Analysis write validation.
  Avoid duplicate error messages from verification. (#557)
  SPV endorse continuation test (#556)
  SPV Endorsements (#480)
  Render traces on one line. (#554)
  Improve "expected ..., found ..." error message. (#552)
  Orange Logos (#550)
  NonEmpty API Types (#522)
  Upgrade z3 4.8.3 -> 4.8.5. (#548)
  Made schema less table message a warning.
  Add a note about schemaless tables.
  Better error message for untyped schemas.
  Remove `describeVerificationFailure`.
  Render exp in user-style (not `show`).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@emilypi emilypi emilypi approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@sirlensalot @emilypi