| commit | 0b58837496bde706c7b1da3a8d677f96b8d9d22c | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Aug 09 13:17:21 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Aug 09 13:17:21 2011 +0000 |
| tree | 197bd9226201ad18846b412037961822eb2a4c5f | |
| parent | ab17395151ab8ae7da4c327db7c98b5982436ca4 [diff] |
Test & fix for Bug 354244 - Role-side callin guard predicate interferes with Team.isExecutingCallin()