From a4bd50ce22e6f2ecdb05bedf668e6c845fb999b7 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 30 Nov 2023 13:55:35 +0100
Subject: [PATCH] [tests] Update test oracles
---
src/plugins/variadic/tests/known/oracle/print_libc.pretty.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/variadic/tests/known/oracle/print_libc.pretty.c b/src/plugins/variadic/tests/known/oracle/print_libc.pretty.c
index 0cc4de0588c..c90642f4619 100644
--- a/src/plugins/variadic/tests/known/oracle/print_libc.pretty.c
+++ b/src/plugins/variadic/tests/known/oracle/print_libc.pretty.c
@@ -51,12 +51,12 @@ int printf_va_1(char const * restrict format);
\from (indirect: __fc_stdout->__fc_FILE_id),
__fc_stdout->__fc_FILE_data, (indirect: *(format + (0 ..)));
*/
-int printf_va_1(char const * restrict format);
+int printf_va_2(char const * restrict format);
int main(void)
{
int __retres;
- printf(""); /* printf_va_1 */
+ printf(""); /* printf_va_2 */
__retres = 0;
return __retres;
}
--
GitLab