delvtech / agent0

Analysis & simulation repo for Delv
https://agent0.readthedocs.io/en/latest/
Apache License 2.0
49 stars 21 forks source link

Relax prev checkpoint invariance check #1649

Closed slundqui closed 1 month ago

slundqui commented 1 month ago

Only check if prev checkpoint exists if there are longs/shorts outstanding

codecov[bot] commented 1 month ago

Codecov Report

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

Project coverage is 81.52%. Comparing base (1643282) to head (76ca03d).

Files Patch % Lines
...c/agent0/hyperfuzz/system_fuzz/invariant_checks.py 0.00% 2 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1649 +/- ## ========================================== - Coverage 81.54% 81.52% -0.02% ========================================== Files 98 98 Lines 7412 7410 -2 ========================================== - Hits 6044 6041 -3 - Misses 1368 1369 +1 ``` | [Flag](https://app.codecov.io/gh/delvtech/agent0/pull/1649/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=delvtech) | Coverage Δ | | |---|---|---| | [unittests](https://app.codecov.io/gh/delvtech/agent0/pull/1649/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=delvtech) | `81.52% <0.00%> (-0.02%)` | :arrow_down: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=delvtech#carryforward-flags-in-the-pull-request-comment) to find out more.

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