Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/lib/main.c
ViewVC logotype

Diff of /branches/pure-cfg/src/lib/main.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1046, Mon May 2 11:54:09 2011 UTC revision 1047, Mon May 2 18:42:13 2011 UTC
# Line 35  Line 35 
35    // FIXME: we need to figure out how initialization should be handled.    // FIXME: we need to figure out how initialization should be handled.
36  printf("initializing strands ...\n");  printf("initializing strands ...\n");
37      Diderot_World_t *wrld = Diderot_Initially ();      Diderot_World_t *wrld = Diderot_Initially ();
38        for (int i = 0;  i < wrld->numStrands;  i++) {
39          // hack to make the invariant part of the state the same in both copies
40            memcpy (wrld->outState[i], wrld->inState[i], Diderot_Strands[0]->stateSzb);
41        }
42    
43    // iterate until all strands are stable    // iterate until all strands are stable
44  printf("run with %d strands ...\n", wrld->numStrands);  printf("run with %d strands ...\n", wrld->numStrands);

Legend:
Removed from v.1046  
changed lines
  Added in v.1047

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0