aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:18:08 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:18:08 +0200
commit75f94a48b4b0c63aae1a120c27d81f41069dba7c (patch)
tree8c00d50f6fac2a6f0038a367c9078640bf40eb76
parent591875791aecbe548b3e5b1cc377ed4a9e766b49 (diff)
downloadPraspel-75f94a48b4b0c63aae1a120c27d81f41069dba7c.zip
Praspel-75f94a48b4b0c63aae1a120c27d81f41069dba7c.tar.gz
Praspel-75f94a48b4b0c63aae1a120c27d81f41069dba7c.tar.bz2
Documentation: Fix a typo.
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index fccd10c..46f89e5 100644
--- a/README.md
+++ b/README.md
@@ -62,7 +62,7 @@ contract. In order to ensure whether the contract is correctly
covered, we have defined several contract coverage criteria.
Thus, we are able to generate unit test suites satisfying these
-contract coverage criteria, and thus rensuring that generated unit
+contract coverage criteria, and thus ensuring that generated unit
test suites reflect all the behavior expressed in the contract.
## Research papers