test coverage

[jvoigtlaender]

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

Führt eventuell zu Entdeckung weiteren dead codes? Zum Beispiel scheint

logic-tasks/src/Formula.hs

Lines 36 to 39 in d232632

	-- | Is the input a positive literal?
	isPositive :: Literal -> Bool
	isPositive (Not _) = False
	isPositive _ = True

nie benutzt zu werden. Aber eventuell "von außen", also vom Autotool-Repo aus?

[jvoigtlaender]

Vielleicht sollten die Tests zu check...Config und default...Config, die in 63f2236 entfernt wurden, in irgendeiner Form zurückkehren.