Skip to content

Introduced timeless_log option so logging is deterministic#2147

Merged
jajhall merged 6 commits intolatestfrom
no-time-reporting
Jan 30, 2025
Merged

Introduced timeless_log option so logging is deterministic#2147
jajhall merged 6 commits intolatestfrom
no-time-reporting

Conversation

@jajhall
Copy link
Member

@jajhall jajhall commented Jan 24, 2025

When developing, it's handy to be able to use diff/meld to compare output, and if this option is true, no times are printed, and logging intervals are deterministic

@codecov
Copy link

codecov bot commented Jan 24, 2025

Codecov Report

Attention: Patch coverage is 89.83051% with 6 lines in your changes missing coverage. Please review.

Project coverage is 78.69%. Comparing base (c13d1a0) to head (7c0620a).
Report is 17 commits behind head on latest.

Files with missing lines Patch % Lines
src/mip/HighsMipSolverData.cpp 75.00% 5 Missing ⚠️
src/lp_data/HighsOptions.h 75.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           latest    #2147      +/-   ##
==========================================
+ Coverage   78.65%   78.69%   +0.04%     
==========================================
  Files         345      345              
  Lines       83072    83107      +35     
==========================================
+ Hits        65338    65399      +61     
+ Misses      17734    17708      -26     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@jajhall jajhall merged commit 38bc501 into latest Jan 30, 2025
261 of 272 checks passed
@jajhall jajhall deleted the no-time-reporting branch January 30, 2025 15:48
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.

1 participant