diff options
| author | Berke Güzel <wenekar1@gmail.com> | 2026-10-15 13:04:32 +0300 |
|---|---|---|
| committer | Berke Güzel <wenekar1@gmail.com> | 2026-10-15 13:04:32 +0300 |
| commit | bdaedce69b17b654bd0060579dd9b9ff120009b5 (patch) | |
| tree | 0e9cd8597652263a96c48ba678fb0b66e1fc131b /docs/correctness-audit.md | |
| parent | ba75c8b0a1bba03ad92c53375432f122ddb4cb98 (diff) | |
| parent | dcebf9c7f954a55350b68d0ead1935612c4e2e05 (diff) | |
Merge branch 'wt/rename' into api-hardening
# Conflicts:
# README.md
Diffstat (limited to 'docs/correctness-audit.md')
| -rw-r--r-- | docs/correctness-audit.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/correctness-audit.md b/docs/correctness-audit.md index dd854a1..0326d1b 100644 --- a/docs/correctness-audit.md +++ b/docs/correctness-audit.md @@ -16,7 +16,8 @@ meson setup build-audit --buildtype=debug -Db_lto=false \ -Db_sanitize=address,undefined -Dkitty=disabled meson compile -C build-audit -j 4 cc -std=c11 -g -UNDEBUG -fsanitize=address,undefined \ - -Iinclude/term -Isrc tests/correctness_probe.c build-audit/src/libterm.a \ + -Iinclude/wsap_vtcore -Isrc tests/correctness_probe.c \ + build-audit/src/libwsap_vtcore.a \ -Wl,--wrap=realloc -Wl,--wrap=calloc -lm -o build-audit/correctness-probe ASAN_OPTIONS=detect_leaks=0 build-audit/correctness-probe ``` @@ -69,7 +70,7 @@ threshold, independently of how many lines have scrolled past it. ### Failed height shrink changes terminal state -In `src/screen.c`, `term_resize_internal()` scrolls and adjusts the cursor +In `src/screen.c`, `wsap_vtcore_resize_internal()` scrolls and adjusts the cursor before allocating the replacement screen. If that allocation fails, it returns false after changing the terminal, violating the documented promise that a failed resize leaves it unchanged. |