source: CIVL/examples/spawn.cvl@ 73f1e27

1.23 2.0 main test-branch
Last change on this file since 73f1e27 was b6c1fcb, checked in by Tim Zirkel <zirkeltk@…>, 13 years ago

Initial commit of model builder, side effect remover, and other related classes.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@31 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 139 bytes
Line 
1
2void f(int n) {
3 for (int i=0; i<n; i++) ;
4}
5
6void main() {
7 \proc p = \spawn f(3);
8 \proc q = \spawn f(1000);
9 \wait p;
10 \wait q;
11}
Note: See TracBrowser for help on using the repository browser.