Skip to content

Conversation

@ana-pantilie
Copy link
Contributor

@ana-pantilie ana-pantilie commented Apr 29, 2020

  • Regenerates and updates the wasm regression tests.
    • wasm-semantics 75baf9b0db8cead6ae686881b9ce18ece6cc93f7
    • k d34a8deaa09fb7ce8478dc2cff473fe2e4cd2230 (current version for wasm-semantics)
  • Adds the wrc20 spec to the test suite.

Reviewer checklist
  • Test coverage: stack test --coverage
  • Public API documentation: stack haddock

@ttuegel ttuegel merged commit 9e7830d into runtimeverification:master Apr 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants