diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-10-23 09:44:37 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-10-23 09:49:32 +0200 |
| commit | 98e576f08212d89598494cb105f5b79315025332 (patch) | |
| tree | 8425ee3e391dcf23d52cacf81878e6c15d85804b | |
| parent | c6a2f0793963c6146a1fe14243831615ddb611e3 (diff) | |
| download | focaccia-98e576f08212d89598494cb105f5b79315025332.tar.gz focaccia-98e576f08212d89598494cb105f5b79315025332.zip | |
Update TraceEnvironment parameters
| -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 950f462..0963b3e 100644 --- a/src/focaccia/parser.py +++ b/src/focaccia/parser.py @@ -84,7 +84,7 @@ def serialize_snapshots(snapshots: Trace[ProgramState], out_stream: TextIO): json.dump(res, out_stream, indent=4) def _make_unknown_env() -> TraceEnvironment: - return TraceEnvironment('', [], [], '?') + return TraceEnvironment('', [], False, [], '?') def parse_qemu(stream: TextIO, arch: Arch) -> Trace[ProgramState]: """Parse a QEMU log from a stream. |