diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-07 12:14:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-07 12:14:41 +0200 |
| commit | c5d56fbe2d197b28a5d30983506af5d36868abd7 (patch) | |
| tree | c331fe8ec3639e5e0ac6ffdef235433bb650d517 /kernel/yosys.cc | |
| parent | f1ac998bb46619fa75d086797617d162cfc7b90d (diff) | |
| parent | 95a6582f342537d387063be10cba55c001ed19f5 (diff) | |
| download | yosys-c5d56fbe2d197b28a5d30983506af5d36868abd7.tar.gz yosys-c5d56fbe2d197b28a5d30983506af5d36868abd7.tar.bz2 yosys-c5d56fbe2d197b28a5d30983506af5d36868abd7.zip | |
Merge pull request #1253 from YosysHQ/clifford/check
Be less aggressive with running design->check()
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 191b6d5c7..a4cc53f1a 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -964,14 +964,18 @@ void run_frontend(std::string filename, std::string command, std::string *backen command += next_line; } handle_label(command, from_to_active, run_from, run_to); - if (from_to_active) + if (from_to_active) { Pass::call(design, command); + design->check(); + } } if (!command.empty()) { handle_label(command, from_to_active, run_from, run_to); - if (from_to_active) + if (from_to_active) { Pass::call(design, command); + design->check(); + } } } catch (...) { @@ -1000,6 +1004,7 @@ void run_frontend(std::string filename, std::string command, std::string *backen Pass::call(design, vector<string>({command, filename})); else Frontend::frontend_call(design, NULL, filename, command); + design->check(); } void run_frontend(std::string filename, std::string command, RTLIL::Design *design) @@ -1183,6 +1188,7 @@ void shell(RTLIL::Design *design) design->selection_stack.pop_back(); log_reset_stack(); } + design->check(); } if (command == NULL) printf("exit\n"); |