From 76b648e1a4570c39fc2a41cd452cb2d801151a72 Mon Sep 17 00:00:00 2001 From: Huseyin Kutsi Balci Date: Fri, 7 Aug 2026 00:36:20 +0300 Subject: [PATCH] test: point the Verifies trace at the symbol that exists The RecordProperty("Verifies", ...) record for GetOppositeLinearControlBlockShallReturnkBlockEvenAsDefaultValue names score::mw::log::detail::wait_free_producer_queue::alternating_control_block_test::GetOppositeLinearControlBlock Two components of that path are not namespaces. wait_free_producer_queue is the directory, and alternating_control_block_test is this file's own name; neither appears in a namespace declaration anywhere in the repository. The function is declared in alternating_control_block.h inside score -> mw -> log -> detail, so the trace is written to match the form the other Verifies records in the repository use, with the leading :: and the trailing (). Signed-off-by: Huseyin Kutsi Balci --- .../alternating_control_block_test.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/score/mw/log/detail/wait_free_producer_queue/alternating_control_block_test.cpp b/score/mw/log/detail/wait_free_producer_queue/alternating_control_block_test.cpp index d89e27c0..8c4bc28d 100644 --- a/score/mw/log/detail/wait_free_producer_queue/alternating_control_block_test.cpp +++ b/score/mw/log/detail/wait_free_producer_queue/alternating_control_block_test.cpp @@ -92,9 +92,7 @@ TEST(AlternatingControlBlockTest, GetOppositeLinearControlBlockShallReturnkBlock { RecordProperty("DerivationTechnique", "Analysis of boundary values"); RecordProperty("TestingTechnique", "Interface tests"); - RecordProperty("Verifies", - "score::mw::log::detail::wait_free_producer_queue::alternating_control_block_test::" - "GetOppositeLinearControlBlock"); + RecordProperty("Verifies", "::score::mw::log::detail::GetOppositeLinearControlBlock()"); RecordProperty("ASIL", "B"); RecordProperty("Description", "Verifies the ability of returning the default value in case of passing unknown value to "