Name of failed tests
====================
main
----
* difference between net-next and batadv main
* smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=n CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=n CONFIG_BATMAN_ADV_TRACING=y CONFIG_BATMAN_ADV_NC=n
CONFIG_BATMAN_ADV_MCAST=n CONFIG_BATMAN_ADV_BATMAN_V=y
stable
------
* difference between net and batadv stable
Output of different failed tests
================================
stable: difference between net and batadv stable
------------------------------------------------
net/net/batman-adv/hard-interface.c | 31 +++++++++++----------------
1 file changed, 13 insertions(+), 18 deletions(-)
main: difference between net-next and batadv main
-------------------------------------------------
netnext/net/batman-adv/hard-interface.c | 31 ++++++++------------
netnext/net/batman-adv/main.c | 4 +-
netnext/net/batman-adv/main.h | 1
netnext/net/batman-adv/mesh-interface.c | 15 +++++++++
netnext/net/batman-adv/send.c | 4 --
netnext/net/batman-adv/translation-table.c | 2 -
6 files changed, 34 insertions(+), 23 deletions(-)
main: smatch v6.15-rc1 CONFIG_BATMAN_ADV_BLA=n CONFIG_BATMAN_ADV_DAT=y
CONFIG_BATMAN_ADV_DEBUG=n CONFIG_BATMAN_ADV_TRACING=y CONFIG_BATMAN_ADV_NC=n
CONFIG_BATMAN_ADV_MCAST=n CONFIG_BATMAN_ADV_BATMAN_V=y
---------------------------------------------------------------------------
net/batman-adv/bat_iv_ogm.c:1502 batadv_iv_ogm_process_per_outif() parse
error: Function too hairy. Ignoring implications after 35 seconds.
Statistics
==========
main
----
Failed tests: 2
Started build tests: 209
Tested Linux versions: 40
Tested configs: 107
stable
------
Failed tests: 1
Started build tests: 229
Tested Linux versions: 40
Tested configs: 99
