diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-10 13:31:41 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-10 13:31:41 +0000 |
| commit | 9350c8815d49cc49fc52df3d449f3c6d902d9119 (patch) | |
| tree | b6ddb4c4794184ffdceb488f8b9bd517431d930d /src | |
| parent | 9d3efc3be6c049fd98b797de6aff31b19e03cc2e (diff) | |
| download | focaccia-9350c8815d49cc49fc52df3d449f3c6d902d9119.tar.gz focaccia-9350c8815d49cc49fc52df3d449f3c6d902d9119.zip | |
Dump Focaccia symbolic equations with indentation (to help debugging)
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 e79d1c1..f115f3d 100644 --- a/src/focaccia/parser.py +++ b/src/focaccia/parser.py @@ -36,7 +36,7 @@ def serialize_transformations(transforms: Trace[SymbolicTransform], json.dump({ 'env': transforms.env.to_json(), 'states': [t.to_json() for t in transforms], - }, out_stream) + }, out_stream, indent=4) def parse_snapshots(json_stream: TextIO) -> Trace[ProgramState]: """Parse snapshots from our JSON format.""" |