search

fmidue / logic-tasks

0 stars 1 forks source link

test coverage #15

Open jvoigtlaender opened 1 year ago

jvoigtlaender commented 1 year ago

Mit stack test --coverage; stack hpc report --all --open überprüfbar.

Führt eventuell zu Entdeckung weiteren dead codes? Zum Beispiel scheint https://github.com/fmidue/logic-tasks/blob/d2326328cb72340afc90b3db0e1f378997a269f2/src/Formula.hs#L36-L39 nie benutzt zu werden. Aber eventuell "von außen", also vom Autotool-Repo aus?

jvoigtlaender commented 1 year ago

Vielleicht sollten die Tests zu check...Config und default...Config, die in https://github.com/fmidue/logic-tasks/pull/21/commits/63f223656b439bf24c057f3539f32b8e8d3ffc84 entfernt wurden, in irgendeiner Form zurückkehren.