diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 11:44:31 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 11:44:31 -0400 |
| commit | 1c99bfbeffff04529f6f669601fdf835a73778da (patch) | |
| tree | 5867bab46e5848541df36c703f6fd8d6d0256e54 /debug/risc-v-gsp-rm-vm/harness/mutation_harness.py | |
| parent | 2fd653044127a665e4677a2cdfb58120d7b3e16b (diff) | |
| download | open-iov-1c99bfbeffff04529f6f669601fdf835a73778da.tar.gz open-iov-1c99bfbeffff04529f6f669601fdf835a73778da.zip | |
rename (cosmetic): green-eye -> risc-v-gsp-rm-debugger in user-facing names, docs, CLI, launcher and CI workflow; internal greeneye package/module identifiers unchanged (includes in-flight greeneye module edits present in the tree)
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/harness/mutation_harness.py')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/harness/mutation_harness.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py b/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py index 7b558bd..9b4d102 100644 --- a/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py +++ b/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py @@ -7,7 +7,7 @@ region), runs it for a bounded budget, and classifies the outcome: normal, trap (ebreak / control transfer to an invalid PC), fault (first new QEMU exception, parsed from the guest_errors/int log), no-progress, or unexpected-result against a small demo oracle. Every attempt is recorded as a -green-eye session and a compact finding. +risc-v-gsp-rm-debugger session and a compact finding. Strategies: invalid command IDs, boundary values, single bit flips of valid inputs, and buffer length boundaries for the ECHO/FILL/SUM commands. @@ -437,7 +437,7 @@ def write_summary(options: HarnessOptions, findings: list[dict]) -> str: classes = Counter(finding["outcome"] for finding in findings) strategies = Counter(finding["strategy"] for finding in findings) lines = [ - "# green-eye mutation findings", + "# risc-v-gsp-rm-debugger mutation findings", "", "> TOOL IN DEVELOPMENT - NOT READY YET! Generated by `harness/mutation_harness.py`.", "", |