check if stop before start

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index d0e0b526cb7f5608616a2ba02d6444e9ea3d719b..3cf5967cc0e07b16f34395977372c392669c5010 100644 (file)
--- 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;