From 50fde8dc020fafe261ccbdcccf6884e9c79a96f7 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Oct 2021 12:36:26 +0200
Subject: [PATCH] [e-acsl:tests] lint
---
src/plugins/e-acsl/tests/arith/extended_quantifiers.c | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
index 2d927669096..a3abd3674ab 100644
--- a/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
+++ b/src/plugins/e-acsl/tests/arith/extended_quantifiers.c
@@ -19,13 +19,15 @@ int main(void) {
/*@ 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; */;
+ @ == 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(-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