| commit | e48509fa72913b8fa635d6d814847448e4cf46b6 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Oct 08 10:37:25 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Oct 08 10:37:25 2010 +0000 |
| tree | 62545b660e13c8d84cf14d27d3b6910f735ef114 | |
| parent | c026775c9dcb2df0fbab2f09c9ce0ca48643f681 [diff] |
finally adjusted test to a semantics-preserving permutation (since migration to Eclipse).