From 1ed47670b8596c0837c8af9dc5f68ad46eae8b4a Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Wed, 28 Jun 2023 14:02:38 -0700 Subject: [PATCH] Update dev-documentation.md Fix broken link and add a link to Coding conventions. --- docs/src/dev-documentation.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/src/dev-documentation.md b/docs/src/dev-documentation.md index d480c4340d19..639b7125ae78 100644 --- a/docs/src/dev-documentation.md +++ b/docs/src/dev-documentation.md @@ -9,10 +9,11 @@ we recommend looking into [these issues](https://github.com/model-checking/kani/ In this chapter, we provide documentation that might be helpful for Kani developers (including external contributors): - 1. [Suggested workarounds](./workarounds.md). + 1. [Coding conventions](./conventions.md). 2. [Useful command-line instructions for Kani/CBMC/Git](./cheat-sheets.md). - 3. [Development setup recommendations for working with `rustc`](./rustc-hacks.md). - 4. [Guide for testing in Kani](./testing.md). + 3. [Development setup recommendations for working with `cbmc`](./cbmc-hacks.md). + 4. [Development setup recommendations for working with `rustc`](./rustc-hacks.md). + 5. [Guide for testing in Kani](./testing.md). > **NOTE**: The developer documentation is intended for Kani developers and not users. At present, the project is under heavy development and some items