diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 11:29:26 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 11:29:26 +0330 |
| commit | a3f769ea02b5686084c5b3c2a382b9934b535050 (patch) | |
| tree | 47caed7e1bc49dbb9ee7aecd76f88c2048963f21 /tests/test.sh | |
| parent | merge work/stdio: std.Io and one-level module completion (diff) | |
| parent | xref: baseline records the borrow globals (end_why, end_whom, arg_site, local... (diff) | |
merge work/borrow: borrow returns before definition, borrows clause, borrow messages and LSP diagnostics, mkgenome header mismatch values
Diffstat (limited to 'tests/test.sh')
| -rwxr-xr-x | tests/test.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/test.sh b/tests/test.sh index 7745a66..6d8453e 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -216,6 +216,8 @@ ABC" "$l o3 lifts byte loads and stores" chk "$($vm < tests/programs/o3.zc)" "3142 42 43 9 57 98781 520625 10192 -18782 1152" "$l o3 regions: loops, calls, recursion, switch, arrays, more vars than registers" chk "$($vm < tests/programs/o3scopes.zc)" "116" "$l o3 registers shared by scopes, cached fixed arrays" chk "$($vm < tests/programs/borrow_rules.zc)" "$(cat tests/programs/borrow_rules.expected)" "$l inferred transfers, projections and shared closure cells" + chk "$($vm < tests/programs/forward_borrow.zc)" "2b00" "$l forward calls: results that do not borrow, or are not used after the owner ends, are accepted" + chk "$($vm < tests/programs/borrows_clause.zc)" "x" "$l a borrows clause ties the result to the named argument only" chk "$($vm < tests/programs/replace_owner.zc)" "$(cat tests/programs/replace_owner.expected)" "$l replacing a released owner moves ownership and cleans up once" chk "$($vm < tests/programs/temporary_borrows.zc)" "$(cat tests/programs/temporary_borrows.expected)" "$l temporary borrows preserve aliases and release allocations" chk "$($vm < tests/programs/array_values.zc)" "$(cat tests/programs/array_values.expected)" "$l array initializers, designators, zero filling, nested and compound literals" @@ -635,6 +637,10 @@ s_lsp() { node tests/drivers/completion_test.js $lsp > $T/completion.out 2>&1; r=$? grep -v '^ok' $T/completion.out chk $r 0 "lsp: fuzzy completions, signatures, scope and expired lifetimes" + $CC -pthread -O2 -w -fwrapv -DJTYPE=int src/core/core.c src/core/io_linux.c $GI -o $T/zy + ZY=$T/zy node tests/drivers/borrow_diag_test.js $lsp > $T/borrowdiag.out 2>&1; r=$? + grep -v '^ok' $T/borrowdiag.out + chk $r 0 "lsp: borrow errors are zy's own messages, with the use's range and the owner as related information" node tests/drivers/analysis_cache_test.js $lsp > $T/analysiscache.out 2>&1; r=$? grep -v '^ok' $T/analysiscache.out chk $r 0 "lsp: analysis cache reuse and invalidation" |