anishathalye / porcupine

A fast linearizability checker written in Go 🔎
https://anishathalye.com/testing-distributed-systems-for-linearizability/
MIT License
958 stars 53 forks source link

Add methods that expose partial linearizations #22

Closed anishathalye closed 1 week ago

anishathalye commented 1 week ago

Addresses #21.

codecov-commenter commented 1 week ago

:warning: Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

Attention: Patch coverage is 0% with 43 lines in your changes missing coverage. Please review.

Project coverage is 80.40%. Comparing base (d372c58) to head (29dfede).

Files with missing lines Patch % Lines
checker.go 0.00% 43 Missing :warning:

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #22 +/- ## ========================================== - Coverage 89.02% 80.40% -8.63% ========================================== Files 5 5 Lines 401 444 +43 ========================================== Hits 357 357 - Misses 35 78 +43 Partials 9 9 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.


🚨 Try these New Features: