diff options
Diffstat (limited to 'docs')
| -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. |