From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 28 Jan 2022 18:41:43 +0000 (+0100)
Subject: check if stop before start
X-Git-Tag: yosys-0.14~2^2~16
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f04d1398e569d6371a6f31c34ff145096d4a96c9;p=yosys.git

check if stop before start
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index d0e0b526c..3cf5967cc 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1012,6 +1012,9 @@ struct SimWorker : SimShared
 				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);
 		fst->reconstructAllAtTimes(edges);
 		bool initial = false;