diff options
| -rw-r--r-- | CMakeLists.txt | 2 | ||||
| -rw-r--r-- | common/kernel/report.cc | 5 |
2 files changed, 1 insertions, 6 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 3120cf40..e0001447 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,4 +1,4 @@ -cmake_minimum_required(VERSION 3.5) +cmake_minimum_required(VERSION 3.13) project(nextpnr CXX C) # Allow family.cmake add additional dependencies to gui_${family}. diff --git a/common/kernel/report.cc b/common/kernel/report.cc index 98ff14fb..8f583b33 100644 --- a/common/kernel/report.cc +++ b/common/kernel/report.cc @@ -131,11 +131,6 @@ static Json::array report_detailed_net_timings(const Context *ctx) Json::array endpointsJson; for (const auto &sink_timing : it.second) { - - // FIXME: Is it possible that there are multiple different start - // events for a single net? It has a single driver - NPNR_ASSERT(sink_timing.clock_pair.start == start); - auto endpointJson = Json::object({{"cell", sink_timing.cell_port.first.c_str(ctx)}, {"port", sink_timing.cell_port.second.c_str(ctx)}, {"event", clock_event_name(ctx, sink_timing.clock_pair.end)}, |