Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found
Select Git revision

Target

Select target project
  • dosek-verification/osek-verification
  • mgttlinger/osek-verification
2 results
Select Git revision
Show changes
Commits on Source (1)
...@@ -3,6 +3,7 @@ ...@@ -3,6 +3,7 @@
-- TODO Document -- TODO Document
module Search.Dot (graph2dot) where module Search.Dot (graph2dot) where
import Compare.SSEGraph
import Data.Monoid import Data.Monoid
import qualified Data.Graph.Inductive as G import qualified Data.Graph.Inductive as G
...@@ -36,4 +37,6 @@ dotEdges = foldMap formatEdge . G.labEdges . graph ...@@ -36,4 +37,6 @@ dotEdges = foldMap formatEdge . G.labEdges . graph
where where
formatEdge (from, to, label) = formatEdge (from, to, label) =
B.fromString (show from) <> " -> " <> B.fromString (show to) B.fromString (show from) <> " -> " <> B.fromString (show to)
<> " [label=\"" <> B.fromText label <> "\"];\n" <> " [label=\"" <> B.fromText label <> "\", color=" <> color label <> "];\n"
color label = if isEpsilon $ SSEEdgeLabel label then "blue" else "black"