Hojun-Cho/ww
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test: close case-fold rejection residue proof

Browse Source
This commit is contained in:
Hojun-Cho
2026-08-15 16:31:48 +09:00
parent 6974bec878
commit 3d596388bb
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
test/package/package_test.ww
View File

@@ -6011,6 +6011,8 @@ fn hexbytes(value: str) str = {
assert(out.stdout.len == 0 && same(out.stderr, foldwant[fi]));
assert(readfile(tooltrace).len == 0);
assert(!os.exists(output));
assert(!os.exists(strings.concat(output, ".new")));
assert(!os.exists(strings.concat(output, ".sepwork")));
assert(!os.exists(strings.concat(work, "/.wwtool.stamp")));
assert(directoryisempty(work));
if (i == 0) { foldrefs[fi] = strings.dup(out.stderr); }
@@ -6110,7 +6112,7 @@ fn hexbytes(value: str) str = {
repeatav, foldenv,
(120i64 * (time.second: i64)): time.duration, &out);
expectexit(&out, 1);
assert(same(out.stderr, foldexpected));
assert(out.stdout.len == 0 && same(out.stderr, foldexpected));
assert(readfile(tooltrace).len == 0);
rsi = 0;
for (rsi < repeatpaths.len) {
@@ -6131,6 +6133,7 @@ fn hexbytes(value: str) str = {
repeatav, foldenv,
(120i64 * (time.second: i64)): time.duration, &out);
expectexit(&out, 0);
assert(out.stdout.len == 0 && out.stderr.len == 0);
assert(occurrences(readfile(tooltrace), "compile") == 0);
assert(occurrences(readfile(tooltrace), "assemble") == 0);
assert(occurrences(readfile(tooltrace), "link") == 1);
@@ -7111,7 +7114,7 @@ fn hexbytes(value: str) str = {
labels[si]), warmav, env,
(120i64 * (time.second: i64)): time.duration, &out);
expectexit(&out, 1);
assert(same(out.stderr,
assert(out.stdout.len == 0 && same(out.stderr,
"ww: case-insensitive file name collision: \"File.ww\" and \"file.ww\"\n"));
assert(readfile(compilertrace).len == 0);
assert(readfile(assemblertrace).len == 0);
@@ -7141,6 +7144,7 @@ fn hexbytes(value: str) str = {
labels[si]), warmav, env,
(120i64 * (time.second: i64)): time.duration, &out);
expectexit(&out, 0);
assert(out.stdout.len == 0 && out.stderr.len == 0);
assert(readfile(compilertrace).len == 0);
assert(readfile(assemblertrace).len == 0);
assert(occurrences(readfile(linkertrace), "\n") == 1);