search

IDNI / TML

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

MH1: facts optimization #58

Closed castrod closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Merging #58 (15da0e5) into master (1870546) will decrease coverage by 0.00%. The diff coverage is 0.00%.

Impacted file tree graph

@@            Coverage Diff            @@
##           master     #58      +/-   ##
=========================================
- Coverage    0.76%   0.76%   -0.01%     
=========================================
  Files          33      33              
  Lines       10840   10893      +53     
=========================================
  Hits           83      83              
- Misses      10757   10810      +53
Impacted Files Coverage Δ
src/bdd.cpp 0.00% <0.00%> (ø)
src/bdd.h 0.00% <ø> (ø)
src/driver.cpp 0.00% <0.00%> (ø)
src/input.cpp 6.03% <0.00%> (-0.02%) :arrow_down:
src/tables.cpp 0.00% <0.00%> (ø)
src/tables.h 0.00% <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 35fb6fc...15da0e5. Read the comment docs.