From 0f213610286bd60e90337453113f08b1ca7db141 Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Mon, 14 Oct 2024 09:55:53 -0700 Subject: [PATCH] make "shared_env" appear in JSON output by default adds 'Simplified' tag so that it is included in the standard JSON output --- src/Pate/Monad.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Pate/Monad.hs b/src/Pate/Monad.hs index d69e876b..c481c3d0 100644 --- a/src/Pate/Monad.hs +++ b/src/Pate/Monad.hs @@ -446,6 +446,7 @@ instance ValidSymArch sym arch => IsTraceNode '(sym,arch) "shared_env" where , ("JSON", \top_lbl env@(SharedExprEnv sym _) -> let v = IO.unsafePerformIO $ jsonNode @_ @'(sym,arch) @"shared_env" sym top_lbl env in PP.pretty $ JSON.encodeToLazyText v) + , (Simplified, \top_lbl _ -> PP.pretty top_lbl) ]