Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Bhupesh-V committed May 9, 2024
1 parent 4096df9 commit 53e0067
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Software Design/design-by-contract.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
**_Posted on 09 May, 2024_**

- First introduced native support was in [Eiffel programming language](https://www.eiffel.com/values/design-by-contract/introduction/).
- Think of [DbC](https://en.wikipedia.org/wiki/Design_by_contract) as having `if` checks before and after you manipulate data inside live code. Yes they are basically look like _assertions_.
- Think of [DbC](https://en.wikipedia.org/wiki/Design_by_contract) as having `if` checks before and after you manipulate data inside live code. Yes they are basically _assertions_.
- Major components of DbC:
- **Precondition**
- Conditions that must be met before a function is executed.
Expand Down

0 comments on commit 53e0067

Please sign in to comment.