search

IDNI / TML

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

Transform grammar to driver with proof trees master merged #53

Closed murisi closed 3 years ago

codecov-commenter commented 3 years ago

Codecov Report

Merging #53 (2f7ab73) into master (26b1b94) will decrease coverage by 0.00%. The diff coverage is 0.00%.

Impacted file tree graph

@@            Coverage Diff            @@
##           master     #53      +/-   ##
=========================================
- Coverage    0.71%   0.70%   -0.01%     
=========================================
  Files          37      37              
  Lines       11400   11442      +42     
=========================================
  Hits           81      81              
- Misses      11319   11361      +42
Impacted Files Coverage Δ
src/bdd.cpp 0.00% <0.00%> (ø)
src/bdd.h 0.00% <ø> (ø)
src/defs.h 0.00% <ø> (ø)
src/driver.cpp 0.00% <0.00%> (ø)
src/driver.h 0.00% <ø> (ø)
src/input.h 0.00% <ø> (ø)
src/ir_builder.cpp 0.00% <0.00%> (ø)
src/options.cpp 0.00% <0.00%> (ø)
src/proof.cpp 0.00% <0.00%> (ø)
src/tables.cpp 0.00% <0.00%> (ø)
... and 5 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 26b1b94...2f7ab73. Read the comment docs.