From b0d76f327a630c51435ac8fa239cac2cf34c1caa Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Oct 2021 09:43:47 +0200
Subject: [PATCH] [e-acsl:tests] remove trailing spaces
---
.../e-acsl/tests/arith/extended_quantifiers.c | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
index f72b4cef70d..06c74dafc59 100644
--- a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
+++ b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
@@ -14,16 +14,16 @@ int main(void) {
/*@ assert \sum(x * x, 2, \lambda integer k; k) == 0; */;
/*@ assert \sum(ULLONG_MAX - 5, ULLONG_MAX, \lambda integer k; 1) == 6; */;
/*@ assert \sum(INT_MAX, INT_MAX, \lambda integer k; k) + 1 > INT_MAX; */
-
- /*@ assert \numof(2, 10, \lambda integer k; k - 2 >= 0) == 9; */;
+
+ /*@ assert \numof(2, 10, \lambda integer k; k - 2 >= 0) == 9; */;
/*@ assert \numof(UINT_MAX - 5, UINT_MAX, \lambda integer k; k % 2 == 1)
@ == 3; */;
- /*@ assert \product(1, 100, \lambda integer k; k) >= 3628800; */;
- /*@ assert \product(1, 10, \lambda integer k; k) == 3628800; */;
- /*@ assert \product(-10, 10, \lambda integer k; k) == 0; */;
+ /*@ assert \product(1, 100, \lambda integer k; k) >= 3628800; */;
+ /*@ assert \product(1, 10, \lambda integer k; k) == 3628800; */;
+ /*@ assert \product(-10, 10, \lambda integer k; k) == 0; */;
/*@ assert \product(-20, -1, \lambda integer k; 2 * k)
- @ == \product(1, 20, \lambda integer k; 2 * k); */;
-
+ @ == \product(1, 20, \lambda integer k; 2 * k); */;
+
return 0;
}
--
GitLab