search

alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58 stars 10 forks source link

Fix SimpleLogger time format #347

Closed paulbehofsics closed 1 year ago

paulbehofsics commented 1 year ago

Related issue: #346

codecov[bot] commented 1 year ago

Codecov Report

Merging #347 (33cbbaa) into master (4a93e01) will not change coverage. The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #347   +/-   ##
=========================================
  Coverage     70.77%   70.77%           
  Complexity     2150     2150           
=========================================
  Files           182      182           
  Lines          8025     8025           
  Branches       1424     1424           
=========================================
  Hits           5680     5680           
  Misses         1970     1970           
  Partials        375      375

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.