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.

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

Invariant test stub #159

Merged
merged 7 commits into from
Dec 20, 2022
Merged

Invariant test stub #159

merged 7 commits into from
Dec 20, 2022

Conversation

neodaoist
Copy link
Contributor

No description provided.

@0xAlcibiades
Copy link
Member

🔥 🔥 🔥

@0xAlcibiades 0xAlcibiades changed the title [WIP] Latest on invariants Initial invariant tests Dec 20, 2022
@0xAlcibiades 0xAlcibiades self-requested a review December 20, 2022 21:15
@0xAlcibiades 0xAlcibiades marked this pull request as ready for review December 20, 2022 21:15
@codecov-commenter
Copy link

Codecov Report

Merging #159 (e7c2204) into audit-fixes (bc99806) will not change coverage.
The diff coverage is n/a.

@@             Coverage Diff              @@
##           audit-fixes     #159   +/-   ##
============================================
  Coverage        89.89%   89.89%           
============================================
  Files                2        2           
  Lines              366      366           
  Branches            55       55           
============================================
  Hits               329      329           
  Misses              29       29           
  Partials             8        8           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@0xAlcibiades 0xAlcibiades changed the title Initial invariant tests Invariant test stub Dec 20, 2022
@0xAlcibiades 0xAlcibiades merged commit e89298f into audit-fixes Dec 20, 2022
@0xAlcibiades 0xAlcibiades deleted the tests/basic-invariant branch December 20, 2022 21:59
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.

3 participants