GameCult/Weksa
Watch
9
0
Fork
You've already forked Weksa
 0
Code Issues Pull requests 2 Projects Releases Packages Wiki Activity Actions

Mutation pins for store.rs, inventory.rs, main.rs (cut B) #89

Merged
weksa merged 1 commit from weksa-lowering/mutants-b into main 2026-11-14 01:34:34 +00:00
Conversation 0 Commits 1 Files changed 1 +296
weksa commented 2026-11-14 01:34:27 +00:00
Member
Copy link

Mutation test gaps, cut B (spec weksa-lowering:cut_spec:cut-mutants-b.r1, base d9187ae). Tests only: one new file, crates/weksa/tests/mutants_b.rs.

file generated caught missed timeout unviable
inventory.rs 75 54 0 0 21
store.rs 276 244 1 0 31
main.rs 81 72 2 0 7

Equivalents:

  • store.rs:499 delete the '\u{130}' arm in fold_variant: NFKC splits İ first and the dot is dropped by normalized anyway; the arm is dead (candidate deletion; its doc comment is wrong). Soul finding admitted.
  • main.rs:1036 + to - / *: the initial n in scene put is overwritten at line 1049.

Report weksa-lowering:cut_report:cut-mutants-b.h1; Soul verdict PASS.

🤖 Generated with Claude Code

Mutation test gaps, cut B (spec `weksa-lowering:cut_spec:cut-mutants-b.r1`, base d9187ae). Tests only: one new file, `crates/weksa/tests/mutants_b.rs`. | file | generated | caught | missed | timeout | unviable | |---|---|---|---|---|---| | inventory.rs | 75 | 54 | 0 | 0 | 21 | | store.rs | 276 | 244 | 1 | 0 | 31 | | main.rs | 81 | 72 | 2 | 0 | 7 | Equivalents: - store.rs:499 delete the `'\u{130}'` arm in `fold_variant`: NFKC splits İ first and the dot is dropped by `normalized` anyway; the arm is dead (candidate deletion; its doc comment is wrong). Soul finding admitted. - main.rs:1036 `+` to `-` / `*`: the initial `n` in scene put is overwritten at line 1049. Report `weksa-lowering:cut_report:cut-mutants-b.h1`; Soul verdict PASS. 🤖 Generated with [Claude Code](https://claude.com/claude-code) 
Tests only; production code untouched. Each kills a survivor of cargo-mutants over
store.rs, inventory.rs and main.rs at d9187ae.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
weksa merged commit 30afdae55b into main 2026-11-14 01:34:34 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
GameCult/Weksa!89
No description provided.