search

IDNI / TML

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

Safety for FOL formulas #52

Closed murisi closed 3 years ago

codecov-commenter commented 3 years ago

Codecov Report

Merging #52 (4ca3d15) into master (9cdf1c8) will decrease coverage by 0.00%. The diff coverage is 0.00%.

Impacted file tree graph

@@            Coverage Diff            @@
##           master     #52      +/-   ##
=========================================
- Coverage    0.72%   0.71%   -0.01%     
=========================================
  Files          37      37              
  Lines       11139   11279     +140     
=========================================
  Hits           81      81              
- Misses      11058   11198     +140
Impacted Files Coverage Δ
src/driver.cpp 0.00% <0.00%> (ø)
src/driver.h 0.00% <ø> (ø)
src/tables.cpp 0.00% <0.00%> (ø)
src/tables.h 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 9cdf1c8...4ca3d15. Read the comment docs.