From 9a9028de6be5d3f5dcc43e22a28db9b11d7553b5 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Oct 2021 17:24:13 +0200
Subject: [PATCH] [e-acsl:tests] lint
---
src/plugins/e-acsl/tests/builtin/strcat.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/tests/builtin/strcat.c b/src/plugins/e-acsl/tests/builtin/strcat.c
index 711436b665c..1e9c506bcc3 100644
--- a/src/plugins/e-acsl/tests/builtin/strcat.c
+++ b/src/plugins/e-acsl/tests/builtin/strcat.c
@@ -66,7 +66,7 @@ int main(int argc, const char **argv) {
/* strcat */
OK(strcat(dest1, const_str)); // enough space in dest [ok]
// enough space in dest (concat with empty) [ok]:
- OK(strcat(dest3, empty_str));
+ OK(strcat(dest3, empty_str));
ABRT(strcat(dest2, const_str)); // insufficient space in dest [abort]
ABRT(strcat(unalloc_str, const_str)); // unallocated in dest [abort]
ABRT(strcat(dest2, unalloc_str)); // unallocated in src [abort]
--
GitLab