diff options
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`.", "", |