diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:52:01 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:52:01 +0330 |
| commit | 7c54e48bca711a6596be4bb17fcaa4330b9928e3 (patch) | |
| tree | fd426755976847e368fe298db1c7c757f58799b9 /src/tools/parity.sh | |
| parent | todo: record each agent's state at the end of the session and the merge order (diff) | |
line tables and backtraces: port agent/line-tables onto main, op 56 on the x86-64 jit, docs, measurements, tests; default genome reservation 0x68000
Diffstat (limited to 'src/tools/parity.sh')
| -rwxr-xr-x | src/tools/parity.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/parity.sh b/src/tools/parity.sh index 00245a8..2b9b870 100755 --- a/src/tools/parity.sh +++ b/src/tools/parity.sh @@ -63,7 +63,9 @@ KNOWN=tests/parity.known mkdir -p "$W" # what every image starts with, and how many lines that is (zc0 counts from the top) SRCS="src/runtime/rt.zc src/core/core.zc src/runtime/run.zc" -{ cat $SRCS; echo 'namespace;'; } > "$W/prefix.new" +# the marker turns zc0's line tables on for the program, named <stdin> as under zy, so faults +# and rt.trace() print the same backtrace on both sides (src/tools/automap.sh does the same) +{ cat $SRCS; echo 'namespace;'; echo '//:lines <stdin>'; } > "$W/prefix.new" if cmp -s "$W/prefix.new" "$W/prefix.zc"; then rm "$W/prefix.new"; else mv "$W/prefix.new" "$W/prefix.zc"; fi nprefix=$(wc -l < "$W/prefix.zc") # what the compiled image depends on besides the program |