Change status and minor fixes

model-checking · Jul 26, 2023 · 03790c6 · 03790c6
1 parent b2728e7
commit 03790c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rfc/src/rfcs/0008-line-coverage.md b/rfc/src/rfcs/0008-line-coverage.md
@@ -1,7 +1,7 @@
 - **Feature Name:** Line coverage (`line-coverage`)
 - **Feature Request Issue:** <https://github.com/model-checking/kani/issues/2610>
 - **RFC PR:** <https://github.com/model-checking/kani/pull/2609>
-- **Status:** Under Review
+- **Status:** Unstable
 - **Version:** 0
 - **Proof-of-concept:** <https://github.com/model-checking/kani/pull/2609> (Kani) + <https://github.com/model-checking/kani-vscode-extension/pull/122> (Kani VS Code Extension)