Skip to content

goto-programs: Replace uses of namespacet::follow

Codecov / codecov/project succeeded Mar 22, 2024 in 0s

79.66% (+0.01%) compared to bb8d706

View this Pull Request on Codecov

79.66% (+0.01%) compared to bb8d706

Details

Codecov Report

Attention: Patch coverage is 67.74194% with 30 lines in your changes are missing coverage. Please review.

Project coverage is 79.66%. Comparing base (bb8d706) to head (b1d1ccf).
Report is 1 commits behind head on develop.

❗ Current head b1d1ccf differs from pull request most recent head 60dc466. Consider uploading reports for the commit 60dc466 to get more accurate results

Files Patch % Lines
src/goto-programs/interpreter.cpp 42.85% 12 Missing ⚠️
src/goto-programs/graphml_witness.cpp 0.00% 7 Missing ⚠️
src/goto-programs/printf_formatter.cpp 44.44% 5 Missing ⚠️
src/goto-programs/string_abstraction.cpp 88.23% 2 Missing ⚠️
src/goto-programs/destructor.cpp 80.00% 1 Missing ⚠️
src/goto-programs/interpreter_evaluate.cpp 0.00% 1 Missing ⚠️
src/goto-programs/json_expr.cpp 91.66% 1 Missing ⚠️
src/goto-programs/xml_expr.cpp 90.00% 1 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #8230      +/-   ##
===========================================
+ Coverage    79.64%   79.66%   +0.01%     
===========================================
  Files         1684     1681       -3     
  Lines       195670   195428     -242     
===========================================
- Hits        155841   155686     -155     
+ Misses       39829    39742      -87     

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