From b6a2013565cd12106bf8ae41ac9af89fc507151d Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Mon, 3 Feb 2020 21:50:02 -0700
Subject: [PATCH] minor bug fix for RRGraph data structure

---
 vpr/src/device/rr_graph_obj.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vpr/src/device/rr_graph_obj.cpp b/vpr/src/device/rr_graph_obj.cpp
index 588edb17e..cf616538c 100644
--- a/vpr/src/device/rr_graph_obj.cpp
+++ b/vpr/src/device/rr_graph_obj.cpp
@@ -885,6 +885,7 @@ RREdgeId RRGraph::create_edge(const RRNodeId& source, const RRNodeId& sink, cons
 
 void RRGraph::set_edge_switch(const RREdgeId& edge, const RRSwitchId& switch_id) {
     VTR_ASSERT(valid_edge_id(edge));
+    VTR_ASSERT(valid_switch_id(switch_id));
     edge_switches_[edge] = switch_id;
 }