Skip to content

Commit

Permalink
clarify software design comment
Browse files Browse the repository at this point in the history
  • Loading branch information
@carolynzech
carolynzech committed Aug 27, 2024
1 parent 28f8f22 commit 734adf1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions rfc/src/template.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,8 @@ No further explanation is needed.

## Software Design

**We recommend that you leave the Software Design section empty for the first version of your RFC**.

This is the beginning of the technical portion of the RFC.
From now on, your main audience is Kani developers, so it's OK to assume readers know Kani architecture.

Expand All @@ -53,8 +55,6 @@ Please provide a high level description your design.
- Any changes to how these components communicate?
- What corner cases do you anticipate?

**We recommend you to leave this empty for the first version of your RFC**.

## Rationale and alternatives

This is the section where you discuss the decisions you made.
Expand Down

0 comments on commit 734adf1

Please sign in to comment.