diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-12 20:27:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-12 20:27:36 +0100 |
| commit | ac10f72e49d87ccca82207eceee6c2aadb01820d (patch) | |
| tree | 784d8716d4fe4ffe221eb8ae5bc6e702614b7b66 /kernel/register.cc | |
| parent | ef48b62cb1206a3b72c00735fe817683ccf0f005 (diff) | |
| parent | 20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff (diff) | |
| download | yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.gz yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.bz2 yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.zip | |
Merge pull request #866 from YosysHQ/clifford/idstuff
Improve determinism of IdString DB for similar scripts
Diffstat (limited to 'kernel/register.cc')
| -rw-r--r-- | kernel/register.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 402a5b3ea..64956401f 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -86,6 +86,8 @@ Pass::pre_post_exec_state_t Pass::pre_execute() void Pass::post_execute(Pass::pre_post_exec_state_t state) { + IdString::checkpoint(); + int64_t time_ns = PerformanceTimer::query() - state.begin_ns; runtime_ns += time_ns; current_pass = state.parent_pass; |