diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-14 09:04:35 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-14 09:04:35 +0000 |
| commit | 45b5d9904972ca7b64645f33372353b68658763c (patch) | |
| tree | 39f8867fe3386d5d8818335d992bfc59129f99ae | |
| parent | 9350c8815d49cc49fc52df3d449f3c6d902d9119 (diff) | |
| download | focaccia-45b5d9904972ca7b64645f33372353b68658763c.tar.gz focaccia-45b5d9904972ca7b64645f33372353b68658763c.zip | |
Add indentation to any and all Focaccia dunmps to make the human-inspectable
| -rw-r--r-- | src/focaccia/parser.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/focaccia/parser.py b/src/focaccia/parser.py index f115f3d..950f462 100644 --- a/src/focaccia/parser.py +++ b/src/focaccia/parser.py @@ -62,7 +62,7 @@ def parse_snapshots(json_stream: TextIO) -> Trace[ProgramState]: def serialize_snapshots(snapshots: Trace[ProgramState], out_stream: TextIO): """Serialize a list of snapshots to out JSON format.""" if not snapshots: - return json.dump({}, out_stream) + return json.dump({}, out_stream, indent = 4) arch = snapshots[0].arch res = { |