From 6c317c07b93590e8861fb49365f1e58ede7f6a7c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 9 Oct 2020 17:34:32 +0200
Subject: [PATCH] Update tests following variadic modification
---
tests/basic/oracle/static_1.res.oracle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/basic/oracle/static_1.res.oracle b/tests/basic/oracle/static_1.res.oracle
index f6602e9e..61de7cab 100644
--- a/tests/basic/oracle/static_1.res.oracle
+++ b/tests/basic/oracle/static_1.res.oracle
@@ -62,7 +62,7 @@ int main(void)
x = 43;
;
tmp = Sm_get();
- printf_va_1("MARK %d %d\n",tmp,cache);
+ printf("MARK %d %d\n",tmp,cache); /* printf_va_1 */
__retres = 0;
return __retres;
}
--
GitLab