From b36a62449fdc33705b3e11683f665d877bf839c2 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Mar 2016 11:45:24 +0100
Subject: [PATCH] [tests] Fixed a few typos in the initialized test case
---
.../e-acsl/tests/e-acsl-runtime/initialized.c | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/initialized.c b/src/plugins/e-acsl/tests/e-acsl-runtime/initialized.c
index e8289c2e2e1..fd367a14ea8 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/initialized.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/initialized.c
@@ -33,7 +33,7 @@ int main(void) {
/*@assert \initialized(&c) ; */
/*@assert ! \initialized(&d) ; */
- /* Local variables also initialized by assignments */
+ /* Local variables can also be initialized by assignments */
b = 0;
d[0] = 1;
/*@assert \initialized(&b); */
@@ -50,7 +50,7 @@ int main(void) {
q = (int*)calloc(1, sizeof(int));
/*@ assert \initialized(q); */
- /* Block reallocared using `realloc' carries initialization of the of the
+ /* Block reallocared using `realloc' carries initialization of the
* existing fragment but does not initialize the newly allocated one */
q = (int*)realloc(q, 2*sizeof(int));
/*@assert \initialized(q); */
@@ -58,19 +58,19 @@ int main(void) {
/*@assert ! \initialized(q); */
q--;
- /* Initialized on un-allocated regions is always false. This does not lead
- * to undefined bevaviours in production mode or assertion failures in debug
- * mode. */
+ /* An initialized on an un-allocated region is always false. This does not
+ * lead to undefined bevaviours in production mode or assertion failures in
+ * debug mode. */
free(p);
free(q);
/*@assert ! \initialized(p); */
/*@assert ! \initialized(q); */
- /* Spoofing access to non-existing stack address */
+ /* Spoofing access to a non-existing stack address */
q = (int*)(&q - 1024*5);
/*assert ! \initialized(q); */
- /* Spoofing access to non-existing global address */
+ /* Spoofing access to a non-existing global address */
q = (int*)128;
/*@assert ! \initialized(q); */
--
GitLab