search

whitemech / LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
http://ltlf2dfa.diag.uniroma1.it/
GNU Lesser General Public License v3.0
63 stars 9 forks source link

Prepare Release #30

Closed francescofuggitti closed 3 years ago

codecov[bot] commented 3 years ago

Codecov Report

Merging #30 (17622fe) into develop (fe90ffb) will increase coverage by 6.38%. The diff coverage is 100.00%.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop      #30      +/-   ##
===========================================
+ Coverage    76.54%   82.93%   +6.38%     
===========================================
  Files            9       13       +4     
  Lines          614     1090     +476     
  Branches        91      124      +33     
===========================================
+ Hits           470      904     +434     
- Misses          95      134      +39     
- Partials        49       52       +3
Flag Coverage Δ
unittests 82.93% <100.00%> (+6.38%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
ltlf2dfa/helpers.py 80.95% <ø> (ø)
ltlf2dfa/pl.py 89.71% <ø> (ø)
ltlf2dfa/__version__.py 100.00% <100.00%> (ø)
ltlf2dfa/ltlf.py 93.13% <100.00%> (ø)
ltlf2dfa/pltlf.py 89.57% <100.00%> (ø)
ltlf2dfa/__init__.py 100.00% <0.00%> (ø)