X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=mcexecution.cc;fp=mcexecution.cc;h=65df7ce8218a6f74d2d416f2316ae7742204809c;hp=59ea44aeb34d6b091b004c8e9f55385c67862bbf;hb=15370ed784b596d905f88bc2bc47d94e4b521dc4;hpb=40913ce63d171f125117caab249218839fd4b083

diff --git a/mcexecution.cc b/mcexecution.cc
index 59ea44a..65df7ce 100644
--- a/mcexecution.cc
+++ b/mcexecution.cc
@@ -842,6 +842,9 @@ void MCExecution::threadFinish() {
 void MCExecution::threadYield() {
 	getOrCreateCurrRecord(YIELD, NULL, 0, 0, 8, false);
 	currexecpoint->incrementTop();
+	if (model->params.noexecyields) {
+		threadFinish();
+	}
 }
 
 /** @brief Thread yield. */