1 task t1(StartupObject s{initialstate}) {
2 //System.printString("task t1\n");
4 int threadnum = 62; // 56;
7 for(int i = 0; i < threadnum; ++i) {
8 TestRunner tr = new TestRunner(i, size, nodenum){run};
11 taskexit(s{!initialstate});
14 task t2(TestRunner tr{run}) {
15 //System.printString("task t2\n");