From 1ee0b9073da10f9152d19c5dab263abca5a3ecfe Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Fri, 23 Feb 2024 10:23:25 -0800 Subject: [PATCH] fixup labels under the "Split Analysis" heading No need to manually tag the nodes with "Original" and "Patched"; they will already be labelled as such since they are single-sided nodes created from toSingleNode --- src/Pate/Verification/StrongestPosts.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Pate/Verification/StrongestPosts.hs b/src/Pate/Verification/StrongestPosts.hs index bfb2c860..9eba70a6 100644 --- a/src/Pate/Verification/StrongestPosts.hs +++ b/src/Pate/Verification/StrongestPosts.hs @@ -2406,7 +2406,7 @@ handleSplitAnalysis scope node dom pg = do currBlockO <- toSingleNode PBi.OriginalRepr node currBlockP <- toSingleNode PBi.PatchedRepr node subTree @"node" "Split analysis" $ do - pg' <- subTraceLabel @"node" "Original:" (GraphNode currBlockO) $ do + pg' <- subTrace @"node" (GraphNode currBlockO) $ do priority <- thisPriority emitTraceLabel @"address" "Synchronization Address" syncO bundleO <- noopBundle scope (nodeBlocks currBlockO) @@ -2416,7 +2416,7 @@ handleSplitAnalysis scope node dom pg = do -- by convention, we define the sync point of the original program to -- connect to the divergence point of the patched program widenAlongEdge scope bundleO (GraphNode node) dom pg (GraphNode currBlockO) - subTraceLabel @"node" "Patched" (GraphNode currBlockP) $ do + subTrace @"node" (GraphNode currBlockP) $ do emitTraceLabel @"address" "Synchronization Address" syncP return $ Just pg' Left{} -> return Nothing