From 900c4d171e2b409b09cf2644af9e9ee4ec1be700 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 21 Jun 2023 13:54:31 +0200 Subject: [PATCH] fix oracles --- tests/fc_script/oracle/find_fun1.res | 2 +- tests/fc_script/oracle/find_fun2.res | 2 +- tests/fc_script/oracle/find_fun3.res | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/fc_script/oracle/find_fun1.res b/tests/fc_script/oracle/find_fun1.res index 58bf804e3c1..71eea9bdef1 100644 --- a/tests/fc_script/oracle/find_fun1.res +++ b/tests/fc_script/oracle/find_fun1.res @@ -1,4 +1,4 @@ -Looking for 'main2' inside 15 file(s)... +Looking for 'main2' inside 16 file(s)... Possible declarations for function 'main2' in the following file(s): for-find-fun.c Possible definitions for function 'main2' in the following file(s): diff --git a/tests/fc_script/oracle/find_fun2.res b/tests/fc_script/oracle/find_fun2.res index d868795ee4e..5c9b9b69b9d 100644 --- a/tests/fc_script/oracle/find_fun2.res +++ b/tests/fc_script/oracle/find_fun2.res @@ -1,4 +1,4 @@ -Looking for 'main3' inside 15 file(s)... +Looking for 'main3' inside 16 file(s)... Possible declarations for function 'main3' in the following file(s): for-find-fun2.c Possible definitions for function 'main3' in the following file(s): diff --git a/tests/fc_script/oracle/find_fun3.res b/tests/fc_script/oracle/find_fun3.res index 00f4bbc10ea..67c26fc2681 100644 --- a/tests/fc_script/oracle/find_fun3.res +++ b/tests/fc_script/oracle/find_fun3.res @@ -1,2 +1,2 @@ -Looking for 'false_positive' inside 15 file(s)... +Looking for 'false_positive' inside 16 file(s)... No declaration/definition found for function 'false_positive' -- GitLab