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 | 2 |
1 files changed, 1 insertions, 1 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 9b4d102..4ae2345 100644 --- a/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py +++ b/debug/risc-v-gsp-rm-vm/harness/mutation_harness.py @@ -439,7 +439,7 @@ def write_summary(options: HarnessOptions, findings: list[dict]) -> str: lines = [ "# risc-v-gsp-rm-debugger mutation findings", "", - "> TOOL IN DEVELOPMENT - NOT READY YET! Generated by `harness/mutation_harness.py`.", + "> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). Generated by `harness/mutation_harness.py`.", "", f"* format: `{FORMAT}`", f"* kernel: `{options.kernel}`", |