diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-07 11:09:52 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-07 11:11:59 +0000 |
| commit | 22a9e60c8b174298905cca6ebd364f487c3d20bc (patch) | |
| tree | 21e34a6f572fe7997a47c73feb6633e3b2a1241d /src | |
| parent | 505960d0c6e104f66ee188cbfd90f240ff6686e2 (diff) | |
| download | focaccia-22a9e60c8b174298905cca6ebd364f487c3d20bc.tar.gz focaccia-22a9e60c8b174298905cca6ebd364f487c3d20bc.zip | |
Add basic indentation to the TraceEnvironment dumps to improve readability
Diffstat (limited to 'src')
| -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 c37c07a..e79d1c1 100644 --- a/src/focaccia/parser.py +++ b/src/focaccia/parser.py @@ -81,7 +81,7 @@ def serialize_snapshots(snapshots: Trace[ProgramState], out_stream: TextIO): }) res['snapshots'].append({ 'registers': regs, 'memory': mem }) - json.dump(res, out_stream) + json.dump(res, out_stream, indent=4) def _make_unknown_env() -> TraceEnvironment: return TraceEnvironment('', [], [], '?') |