Mercurial > hg > Gears > Gears

diff src/parallel_execution/ModelChecking/MCWorker.cbc @ 897:70016b1cd1e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
goto mcMeta
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 26 Jan 2021 15:45:50 +0900
parents 1caa59b7f228
children 04edc3e392bc
line wrap: on
line diff
--- a/src/parallel_execution/ModelChecking/MCWorker.cbc	Tue Jan 26 15:10:43 2021 +0900
+++ b/src/parallel_execution/ModelChecking/MCWorker.cbc	Tue Jan 26 15:45:50 2021 +0900
@@ -57,7 +57,10 @@
     goto meta(ncontext, ncontext->next);
 }
 
-__code mcMeta(struct Context* context, enum Code next) {
+#define __ncode __code
+
+
+__ncode mcMeta(struct Context* context, enum Code next) {
     struct MCWorker* mcworker =  (struct MCWorker*) context->worker->worker;
     context->next = next;
     goto meta(mcworker->context, mcworker->nextStep);