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 |