From b00629fe5666b273983c4cec75f7b08e0db1a784 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Thu, 27 Feb 2020 10:36:13 +0000
Subject: [PATCH] Fix typos

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 889ab9a..e2fd014 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ Low-level bindings to LLVM-KLEE.
 
 LLVM KLEE performs symbolic execution of LLVM-IR programs. For each path KLEE will generate a concrete test.
 
-A path is termintated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consequitively a concrete test).
+A path is terminated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consecutively a concrete test).
 
 As `assert!()`/`assert_eq!()` etc. expands to conditional `panic!()`, thus a failing assertion will be caught.
 
@@ -30,7 +30,7 @@ fn klee_make_symbolic<T>(
 ) {...}
 ```
 
-However dealing with CStr is cumbersome in Rust user code so we provide a macro, `klee_make_symbolic!(&mut T, &str)`, that zero-termintes the `&str` and cast it to the appropriate type.
+However dealing with CStr is cumbersome in Rust user code so we provide a macro, `klee_make_symbolic!(&mut T, &str)`, that zero-terminates the `&str` and cast it to the appropriate type.
 
 Example usage:
 
-- 
GitLab