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