Add headers when printing Crucible CFGs too

GaloisInc · Nov 12, 2024 · 1cbe6e0 · 1cbe6e0
1 parent d4f6105
commit 1cbe6e0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/macaw-dump/src/Data/Macaw/Dump/Discover.hs b/macaw-dump/src/Data/Macaw/Dump/Discover.hs
@@ -115,8 +115,11 @@ displayCfgs path discState archVals printCrucible = do
   let funInfos = discState Lens.^. MD.funInfo
   halloc <- CFH.newHandleAllocator
   F.for_ (Map.toList funInfos) $ \(_addr, Some info) -> do
+    Monad.when printCrucible $ do
+      IO.putStrLn "== Macaw =="
     IO.print (PP.pretty info)
     Monad.when printCrucible $ do
+      IO.putStrLn "\n== Crucible =="
       let pos = posFn (Text.pack path)
       let funName =
             WF.functionNameFromText $