Mercurial > hg > Gears > Gears

changeset 887:b1a6d44426cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove printf
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 25 Jan 2021 18:09:21 +0900
parents ece622492758
children ebe90be297a4
files src/parallel_execution/MCTaskManagerImpl.cbc
diffstat 1 files changed, 0 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/src/parallel_execution/MCTaskManagerImpl.cbc	Mon Jan 25 17:31:54 2021 +0900
+++ b/src/parallel_execution/MCTaskManagerImpl.cbc	Mon Jan 25 18:09:21 2021 +0900
@@ -62,12 +62,9 @@
 }
 
 __code spawnTasksMCTaskManagerImpl1(struct MCTaskManagerImpl* taskManagerImpl, struct TaskManager* taskManager) {
-    printf("spawnTasksMCTaskManagerImpl1\n");
     if (taskManagerImpl->taskList == NULL) {
-    printf("spawnTasksMCTaskManagerImpl1 == NULL\n");
         goto spawnTasksMCTaskManagerImpl2();
     }
-    printf("spawnTasksMCTaskManagerImpl1 != NULL\n");
     struct Context* task = (struct Context*)taskManagerImpl->taskList->data;
     taskManagerImpl->taskList = taskManagerImpl->taskList->next;
     goto taskManager->setWaitTask(task, spawnTasksMCTaskManagerImpl1);
@@ -85,16 +82,12 @@
 }
 
 __code spawnTasksMCTaskManagerImpl3(struct MCTaskManagerImpl* taskManagerImpl, __code next1(...), struct TaskManager* taskManager) {
-    printf("spawnTasksMCTaskManagerImpl3\n");
     if (taskManagerImpl->taskList == NULL) {
-    printf("spawnTasksMCTaskManagerImpl3 == NULL\n");
-        printf("spawnTasksTaskManagerImpl3 == NULL\n");
         struct Queue* tasks = taskManagerImpl->workers[0]->tasks;
         printf("put NULL\n");
         goto tasks->put(NULL, shutdownMCTaskManagerImpl1);
 
     }
-    printf("spawnTasksMCTaskManagerImpl3 != NULL\n");
     struct Context* task = (struct Context*)taskManagerImpl->taskList->data;
     taskManagerImpl->taskList = taskManagerImpl->taskList->next;
     goto taskManager->spawn(task, spawnTasksMCTaskManagerImpl3);
@@ -129,12 +122,10 @@
 }
 
 __code spawnMCTaskManagerImpl(struct MCTaskManagerImpl* taskManagerImpl, struct Context* task, __code next(...), struct TaskManager* taskManager) {
-  printf("spawnMCTaskManagerImpl\n");
     if (task == NULL) {
       // get all task for model checking
       // start model checker
       // we should goto odgCommitMCWorker foreach mctask
-  printf("spawnMCTaskManagerImpl == NULL\n");
 
       Gearef(context, Worker)->worker = (union Data*)taskManagerImpl->workers[0];
       goto startModelChecker(Gearef(context, Worker)->worker);