From 53e0067eec2321c55ef7fe59d12f202a9191cc6a Mon Sep 17 00:00:00 2001 From: Bhupesh-V Date: Thu, 9 May 2024 13:21:09 +0530 Subject: [PATCH] typo --- Software Design/design-by-contract.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Software Design/design-by-contract.md b/Software Design/design-by-contract.md index db462d3..48fce77 100644 --- a/Software Design/design-by-contract.md +++ b/Software Design/design-by-contract.md @@ -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.