mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

check if stop before start

Browse source
This commit is contained in:
Miodrag Milanovic 2022-01-28 19:41:43 +01:00
parent ecbba625c4
commit f04d1398e5
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/sim.cc
View file

@ -1012,6 +1012,9 @@ struct SimWorker : SimShared
log_warning("Stop time is after simulation file end time\n"); log_warning("Stop time is after simulation file end time\n");
} }
} }
if (stopCount<startCount) {
log_error("Stop time is before start time\n");
}
auto edges = fst->getAllEdges(fst_clock, startCount, stopCount); auto edges = fst->getAllEdges(fst_clock, startCount, stopCount);
fst->reconstructAllAtTimes(edges); fst->reconstructAllAtTimes(edges);
bool initial = false; bool initial = false;