diff --git a/search/Sta.cc b/search/Sta.cc index 05bd3dcc..2fdf228b 100644 --- a/search/Sta.cc +++ b/search/Sta.cc @@ -5600,6 +5600,9 @@ Sta::writeTimingModel(const char *lib_name, const char *filename, const Corner *corner) { + if (network()->defaultLibertyLibrary() == nullptr) { + report_->error(2141, "No liberty libraries found."); + } LibertyLibrary *library = makeTimingModel(lib_name, cell_name, filename, corner, this); writeLiberty(library, filename, this);