aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgitomato <thomaspersohn@gmail.com>2017-01-10 10:45:17 +0100
committerGitHub <noreply@github.com>2017-01-10 10:45:17 +0100
commit6a81c777d3c26847e9cc4276362d6727a372bdbd (patch)
treeb329f7dda248a161fc6913a64e356b8ad4e46075
parentd00a77387bfce0006a6638dd94cf05a784cb3a9b (diff)
downloadPraspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.zip
Praspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.tar.gz
Praspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.tar.bz2
Fix typo
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 46f89e5..6cb8317 100644
--- a/README.md
+++ b/README.md
@@ -53,7 +53,7 @@ PHP language types. Thus, it is possible to combine these realistic
domains to generate more sophisticated data (like dates, object models
etc.).
-## Contract Coveverage Criteria
+## Contract Coverage Criteria
The contract language can be evaluated to validate and verify data
manipulated by the program on one hand. On the other hand, we have