Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Tiny improvement of the search speed
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 25 Oct 2007 18:27:49 +0000 (18:27 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 25 Oct 2007 18:27:49 +0000 (18:27 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4873 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/simix/smx_global.c

index 51290f0..b5c77d1 100644 (file)
@@ -358,6 +358,7 @@ double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed)
          || xbt_swag_size(model->common_public->states.
                           done_action_set)) {
        state_modifications = 1;
          || xbt_swag_size(model->common_public->states.
                           done_action_set)) {
        state_modifications = 1;
+        break;
       }
     }
 
       }
     }