diff options
author | gitomato <thomaspersohn@gmail.com> | 2017-01-10 10:45:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-10 10:45:17 +0100 |
commit | 6a81c777d3c26847e9cc4276362d6727a372bdbd (patch) | |
tree | b329f7dda248a161fc6913a64e356b8ad4e46075 | |
parent | d00a77387bfce0006a6638dd94cf05a784cb3a9b (diff) | |
download | Praspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.zip Praspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.tar.gz Praspel-6a81c777d3c26847e9cc4276362d6727a372bdbd.tar.bz2 |
Fix typo
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |