search

IDNI / TML

Tau Meta-Language
http://www.idni.org
122 stars 28 forks source link

Query containment z3 #48

Closed murisi closed 3 years ago

codecov-commenter commented 3 years ago

Codecov Report

Merging #48 (6d9f474) into master (a856c83) will decrease coverage by 0.00%. The diff coverage is 0.00%.

:exclamation: Current head 6d9f474 differs from pull request most recent head 07ccd7c. Consider uploading reports for the commit 07ccd7c to get more accurate results Impacted file tree graph

@@            Coverage Diff            @@
##           master     #48      +/-   ##
=========================================
- Coverage    0.72%   0.72%   -0.01%     
=========================================
  Files          37      37              
  Lines       10779   10812      +33     
=========================================
  Hits           78      78              
- Misses      10701   10734      +33
Impacted Files Coverage Δ
src/analysis.cpp 0.00% <0.00%> (ø)
src/analysis.h 0.00% <0.00%> (ø)
src/defs.h 0.00% <ø> (ø)
src/driver.cpp 0.00% <0.00%> (ø)
src/driver.h 0.00% <ø> (ø)
src/input.cpp 5.58% <0.00%> (-0.05%) :arrow_down:
src/input.h 0.00% <0.00%> (ø)
src/options.cpp 0.00% <ø> (ø)

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 a856c83...07ccd7c. Read the comment docs.