From 54c62ba94ba85a9ed26991982325728365e66880 Mon Sep 17 00:00:00 2001
From: Pavel Ponomarev <34245435+pavponn@users.noreply.github.com>
Date: Mon, 29 Aug 2022 10:58:47 +0100
Subject: [PATCH] Update README.md

## Context
While preparing a presentation for KLEE workshop, I decided to use some parts of the README.md to include them into my speech. I went over the extracted part with grammarly and fixed some minor issues.

## Changes
Fix some issues in punctuation and grammar. No real changes to the actual content.
---
 README.md | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 22ec0cc5f..fa81c08bb 100644
--- a/README.md
+++ b/README.md
@@ -3,14 +3,7 @@
 [![Build UTBot and run unit tests](https://github.com/UnitTestBot/UTBotCpp/actions/workflows/build-utbot.yml/badge.svg)](https://github.com/UnitTestBot/UTBotCpp/actions/workflows/build-utbot.yml)
 [![Publish UTBot as an archive](https://github.com/UnitTestBot/UTBotCpp/actions/workflows/publish-utbot.yml/badge.svg)](https://github.com/UnitTestBot/UTBotCpp/actions/workflows/publish-utbot.yml)
 
-UTBotCpp generates test cases by code, trying to cover maximum statements and execution paths. 
-We treat source code as source of truth assuming that behavior is correct and corresponds to initial user demand.
-Generated tests are placed in so-called regression suite.
-Thus, we fixate current behavior by generated test cases.
-Using UTBotCpp developers obtain full control of their code.
-No future change can break the code without being noticed once it's covered with tests generated by UTBot.
-This way, modifications made by developers to an existing code are much safer.
-Hence, with the help of generated unit tests, UTBot provides dramatic code quality improvement.
+UTBot C/C++ generates test cases by code, trying to cover a maximum number of statements and execution paths. We treat source code as a source of truth, assuming that behavior is correct and corresponds to initial user demand. Generated tests are placed in the so-called regression suite. Thus, we fix current behavior with the help of generated test cases. Using UTBot for C/C++, developers obtain full control of their code. No future change can break the code without being noticed once it's covered with tests generated by UTBot. This way, modifications made by developers to an existing code are much safer. Hence, with the help of generated unit tests, UTBot provides dramatic code quality improvement.
 
 Features demonstration in 5 min (click to see on [YouTube](https://www.youtube.com/watch?v=bDJyWEeYhvk)):