From 743e43add9406ef2cde1b2d16fc21d79dfc07caf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sun, 9 Feb 2020 20:37:46 +0000
Subject: [PATCH] Spellcheck

---
 .gitignore | 3 ++-
 README.md  | 8 ++++----
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 36762cc..b7e4184 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,5 @@
 **/*.rs.bk
 
 ktest/target
-runner/target
\ No newline at end of file
+runner/target
+cargo-trust/target
\ No newline at end of file
diff --git a/README.md b/README.md
index 078e9ea..58b6799 100644
--- a/README.md
+++ b/README.md
@@ -2,11 +2,11 @@
 
 This repo contains a set of usage examples for `klee-sys` low-level KLEE bindings. For more information on internal design behind see the [klee-sys](https://gitlab.henriktjader.com/pln/klee-sys) repo.
 
-See section `Cargo.toml` for detaled information on features introduced.
+See section `Cargo.toml` for detailed information on features introduced.
 
 ### General dependencies
 
-- llvm toolchain tested with (9.0.1)
+- LLVM toolchain tested with (9.0.1)
 - rustup tested with 1.40.0 (73528e339 2019-12-16)
 - klee tested with KLEE 2.1-pre (https://klee.github.io)
 
@@ -18,11 +18,11 @@ See section `Cargo.toml` for detaled information on features introduced.
 
 - `paths.rs`
 
-    This example showcase the different path termintaiton conditions possible and their effect to KLEE test case generation.
+    This example showcase the different path termination conditions possible and their effect to KLEE test case generation.
 
 - `assume_assert.rs`
 
-    This example showcase contract based verification, and the possibilies to extract proofs.
+    This example showcase contract based verification, and the possibilities to extract proofs.
 
 - `struct.rs`
 
-- 
GitLab