From 4e695c4720f92227b57173f57235726c743a9270 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 11 Oct 2016 17:07:45 +0200
Subject: [PATCH] Use new node shape for _all_ nodes
Including ones with no outgoing edges, i.e the one in the PreIdleHook.
---
src/Search/Search.hs | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/Search/Search.hs b/src/Search/Search.hs
index 9fcbf3a..9b1e012 100644
--- a/src/Search/Search.hs
+++ b/src/Search/Search.hs
@@ -16,6 +16,7 @@ import Control.Monad
import System.Exit
import System.Process
import System.IO
+import Data.Foldable
-- | (Syscall, Statehash)
type Vertex = (Text, Text)
@@ -156,8 +157,9 @@ graph2Dot graph =
T.drop (T.length "OSEKOS_") txt
dotNodes :: Graph -> Text
-dotNodes = foldMap formatNode . M.keys
+dotNodes = foldMap formatNode . allNotes
where
+ allNotes m = M.keysSet m `S.union` (fold m)
formatNode (call, state) = nodeId (call,state)
<> " [label=\""
<> "State: " <> state <> "\\n"
--
GitLab