search

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
Apache License 2.0
65 stars 14 forks source link

[WiP]: First step for adding alt-ergo to rsmt2. Tests not added for the moment #20

Open mattiasdrp opened 4 years ago

codecov-commenter commented 4 years ago

Codecov Report

Merging #20 into master will decrease coverage by 2.30%. The diff coverage is 29.62%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #20      +/-   ##
==========================================
- Coverage   66.72%   64.41%   -2.31%     
==========================================
  Files           8        8              
  Lines        1181     1200      +19     
==========================================
- Hits          788      773      -15     
- Misses        393      427      +34
Impacted Files Coverage Δ
src/example/simple.rs 80.00% <ø> (-0.56%) :arrow_down:
src/lib.rs 0.00% <ø> (-2.64%) :arrow_down:
src/parse.rs 62.06% <ø> (-1.47%) :arrow_down:
src/conf.rs 19.44% <24.00%> (-0.25%) :arrow_down:
src/example/mod.rs 80.00% <100.00%> (ø)
src/solver.rs 88.00% <100.00%> (-0.08%) :arrow_down:
src/example/print_time.rs 81.50% <0.00%> (-5.45%) :arrow_down:
src/common.rs 46.42% <0.00%> (-1.85%) :arrow_down:
... and 2 more

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 4a20373...8adfdd3. Read the comment docs.