Verites/verigraph

View on GitHub
src/CLI/ParallelIndependence.hs

Summary

Maintainability
Test Coverage

Use .
Open

    when comp $ putStrLn $ "Check if pullback and delete-use algorithms result in the same matrix: " ++ show (analysisPB == analysisDU)
Severity: Minor
Found in src/CLI/ParallelIndependence.hs by hlint

Found

when comp $
  putStrLn $
    "Check if pullback and delete-use algorithms result in the same matrix: "
      ++ show (analysisPB == analysisDU)

Perhaps

when comp . putStrLn $
  ("Check if pullback and delete-use algorithms result in the same matrix: "
     ++ show (analysisPB == analysisDU))

There are no issues that match your filters.

Category
Status