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

TN23 : improve metrics #4080

Merged

bors merged 2 commits into main from add_metrics_TN_23

Jun 15, 2023

Member

modship commented Jun 13, 2023

document all added functions
try in sandbox /simulation/labnet
unit tests on the added/changed features
- make tests compile
- make tests pass
add logs allowing easy debugging in case the changes caused problems
if the API has changed, update the API specification

modship added 2 commits

June 13, 2023 16:13


          feat(channel) : impl send_deadline on sender and recv_deadline / recv…

1ad955b

…_timeout on receiver


          update block graph counter

214a16e

modship requested review from damip and AurelienFT

June 13, 2023 14:18

AurelienFT approved these changes

View reviewed changes

bors bot merged commit 214a16e into main

AurelienFT deleted the add_metrics_TN_23 branch

October 23, 2023 08:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet