Skip to content
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.

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

Add SVFG::fromValue #906

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Add SVFG::fromValue #906

wants to merge 5 commits into from

Conversation

gerion0
Copy link
Contributor

@gerion0 gerion0 commented Nov 15, 2022

This basically reverts the removal. See #492.

@codecov
Copy link

codecov bot commented Nov 15, 2022

Codecov Report

Merging #906 (e3be025) into master (3d54728) will decrease coverage by 0.04%.
The diff coverage is 0.00%.

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

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #906      +/-   ##
==========================================
- Coverage   63.82%   63.78%   -0.04%     
==========================================
  Files         219      219              
  Lines       22193    22206      +13     
==========================================
  Hits        14165    14165              
- Misses       8028     8041      +13     
Impacted Files Coverage Δ
include/Graphs/SVFG.h 75.94% <ø> (ø)
lib/Graphs/SVFG.cpp 73.22% <0.00%> (-1.41%) ⬇️

... and 1 file with indirect coverage changes

bjfiedler and others added 3 commits November 29, 2022 12:42
Better error print for ExtAPI.json
Show always error if ExtAPI.json was not found also if asserts turned off
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.

3 participants