search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
234 stars 32 forks source link

Prefix toplevel cmake options with CRAB #31

Closed caballa closed 5 years ago

codecov[bot] commented 5 years ago

Codecov Report

Merging #31 into master will increase coverage by 0.03%. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #31      +/-   ##
==========================================
+ Coverage   64.46%   64.49%   +0.03%     
==========================================
  Files          62       62              
  Lines       12575    12544      -31     
==========================================
- Hits         8106     8090      -16     
+ Misses       4469     4454      -15
Impacted Files Coverage Δ
include/crab/domains/boxes.hpp 62.08% <ø> (ø) :arrow_up:
include/crab/domains/apron_domains.hpp 64.89% <ø> (ø) :arrow_up:
include/crab/domains/wrapped_interval_domain.hpp 80.71% <0%> (-0.61%) :arrow_down:
include/crab/domains/graphs/sparse_graph.hpp 44.26% <0%> (+0.99%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update a1d204d...ab92a66. Read the comment docs.