KiCad PCB EDA Suite
Loading...
Searching...
No Matches
test_solder_mask_bridging.cpp
Go to the documentation of this file.
1/*
2 * This program source code file is part of KiCad, a free EDA CAD application.
3 *
4 * Copyright The KiCad Developers, see AUTHORS.txt for contributors.
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version 2
9 * of the License, or (at your option) any later version.
10 *
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
17 * along with this program. If not, see <https://www.gnu.org/licenses/>.
18 */
19
22#include <board.h>
24#include <drc/drc_engine.h>
25#include <pcb_marker.h>
26#include <drc/drc_item.h>
28
29#include <algorithm>
30#include <array>
31#include <utility>
32#include <vector>
33
34
43
44
46{
47 wxString brd_name( wxT( "solder_mask_bridge_test" ) );
48 KI_TEST::LoadBoard( m_settingsManager, brd_name, m_board );
49 KI_TEST::FillZones( m_board.get() );
50
51 std::vector<DRC_ITEM> violations;
52 BOARD_DESIGN_SETTINGS& bds = m_board->GetDesignSettings();
53
54 // Disable some DRC tests not useful in this testcase (and time consuming)
60
62 [&]( const std::shared_ptr<DRC_ITEM>& aItem, const VECTOR2I& aPos, int aLayer,
63 const std::function<void( PCB_MARKER* )>& aPathGenerator )
64 {
65 PCB_MARKER temp( aItem, aPos );
66
67 if( bds.m_DrcExclusions.find( DRC_EXCLUSION::FromMarker( temp ) ) == bds.m_DrcExclusions.end() )
68 violations.push_back( *aItem );
69 } );
70
71 bds.m_DRCEngine->RunTests( EDA_UNITS::MM, true, false );
72
73 // Violation count after fix for deterministic cross-net reporting.
74 // Previously 5, but that included potential duplicates from race conditions.
75 const int expected_err_cnt = 4;
76
77 if( violations.size() == expected_err_cnt )
78 {
79 BOOST_CHECK_EQUAL( 1, 1 ); // quiet "did not check any assertions" warning
80 BOOST_TEST_MESSAGE( "DRC solder mask bridge test passed" );
81 }
82 else
83 {
84 BOOST_CHECK_EQUAL( violations.size(), expected_err_cnt );
85
87
88 std::map<KIID, EDA_ITEM*> itemMap;
89 m_board->FillItemMap( itemMap );
90
91 for( const DRC_ITEM& item : violations )
92 BOOST_TEST_MESSAGE( item.ShowReport( &unitsProvider, RPT_SEVERITY_ERROR, itemMap ) );
93
94 BOOST_ERROR( wxString::Format( "DRC solder mask bridge test failed board <%s>", brd_name ) );
95 }
96}
97
98
100{
101 // Dense autorouted board from issue 24951 has more solder_mask_bridge violations than the DRC
102 // error-limit cap. The count is stable at the cap, but which violations were kept depended on
103 // worker arrival order, so the report entries wobbled run-to-run. Require the full set of
104 // reported violations (position + participating items) to be identical every run.
105 KI_TEST::LoadBoard( m_settingsManager, wxT( "issue24951/issue24951" ), m_board );
106
107 BOARD_DESIGN_SETTINGS& bds = m_board->GetDesignSettings();
108
109 std::vector<wxString> sig;
110 std::vector<std::pair<int, std::array<KIID, 3>>> emissionKeys;
111
113 [&]( const std::shared_ptr<DRC_ITEM>& aItem, const VECTOR2I& aPos, int aLayer,
114 const std::function<void( PCB_MARKER* )>& )
115 {
116 if( aItem->GetErrorCode() != DRCE_SOLDERMASK_BRIDGE )
117 return;
118
119 sig.push_back( wxString::Format( "%d,%d,%d,%s,%s,%s", aLayer, aPos.x, aPos.y,
120 aItem->GetMainItemID().AsString(),
121 aItem->GetAuxItemID().AsString(),
122 aItem->GetAuxItem2ID().AsString() ) );
123
124 // Mirror of the provider's reporting order: layer, then the UUIDs of the
125 // participating items. Only the populated ids are sorted, so the unused third slot
126 // of a two-item violation stays trailing exactly as the provider leaves it.
127 std::array<KIID, 3> ids = { aItem->GetMainItemID(), aItem->GetAuxItemID(),
128 aItem->GetAuxItem2ID() };
129
130 std::sort( ids.begin(), ids.end() - ( ids[2] == niluuid ? 1 : 0 ) );
131
132 emissionKeys.push_back( { aLayer, ids } );
133 } );
134
135 auto runDrc =
136 [&]() -> std::vector<wxString>
137 {
138 KI_TEST::FillZones( m_board.get() );
139 sig.clear();
140 emissionKeys.clear();
141 bds.m_DRCEngine->RunTests( EDA_UNITS::MM, true, false );
142 return sig;
143 };
144
145 std::vector<wxString> ref = runDrc();
146
147 BOOST_TEST_MESSAGE( wxString::Format( "solder_mask_bridge violations: %zu", ref.size() ) );
148
149 // The board must saturate the cap, or the capped path this test exists for is never taken.
151 BOOST_REQUIRE_GT( ref.size(), 100u );
152
153 // The cap keeps a prefix of the provider's total order, so the kept violations must come out
154 // in that order. A broken heap would still report a stable set, just not the right one.
155 // Mirrors PENDING_BRIDGE::operator<, so a change to that ordering must be made here too.
156 BOOST_CHECK_MESSAGE( std::is_sorted( emissionKeys.begin(), emissionKeys.end() ),
157 "solder_mask_bridge violations not reported in sorted order" );
158
159 for( int run = 0; run < 8; ++run )
160 {
161 std::vector<wxString> cur = runDrc();
162
163 BOOST_CHECK_MESSAGE( cur == ref,
164 wxString::Format( "solder_mask_bridge report differs on run %d "
165 "(%zu vs %zu violations)",
166 run, cur.size(), ref.size() ) );
167 }
168}
constexpr EDA_IU_SCALE pcbIUScale
Definition base_units.h:121
Container for design settings for a BOARD object.
std::map< int, SEVERITY > m_DRCSeverities
std::shared_ptr< DRC_ENGINE > m_DRCEngine
std::set< DRC_EXCLUSION, DRC_EXCLUSION_COMPARE > m_DrcExclusions
void RunTests(EDA_UNITS aUnits, bool aReportAllTrackErrors, bool aTestFootprints, BOARD_COMMIT *aCommit=nullptr)
Run the DRC tests.
void SetViolationHandler(DRC_VIOLATION_HANDLER aHandler)
Set an optional DRC violation handler (receives DRC_ITEMs and positions).
Definition drc_engine.h:164
bool IsErrorLimitExceeded(int error_code)
static DRC_EXCLUSION FromMarker(const PCB_MARKER &aMarker)
@ DRCE_SILK_MASK_CLEARANCE
Definition drc_item.h:100
@ DRCE_LIB_FOOTPRINT_ISSUES
Definition drc_item.h:85
@ DRCE_STARVED_THERMAL
Definition drc_item.h:47
@ DRCE_COPPER_SLIVER
Definition drc_item.h:96
@ DRCE_SOLDERMASK_BRIDGE
Definition drc_item.h:97
@ DRCE_LIB_FOOTPRINT_MISMATCH
Definition drc_item.h:86
KIID niluuid(0)
void LoadBoard(SETTINGS_MANAGER &aSettingsManager, const wxString &aRelPath, std::unique_ptr< BOARD > &aBoard)
void FillZones(BOARD *m_board)
@ RPT_SEVERITY_ERROR
@ RPT_SEVERITY_IGNORE
BOOST_REQUIRE(intersection.has_value()==c.ExpectedIntersection.has_value())
BOOST_TEST_MESSAGE("Polyline has "<< chain.PointCount()<< " points")
BOOST_FIXTURE_TEST_CASE(DRCSolderMaskBridgingTest, DRC_SOLDER_MASK_BRIDGING_TEST_FIXTURE)
BOOST_CHECK_EQUAL(result, "25.4")
VECTOR2< int32_t > VECTOR2I
Definition vector2d.h:683