| commit | f7413877c2f7b5f99b967776c612c9550597df4f | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Dec 29 01:06:53 2012 +0100 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Dec 29 14:51:17 2012 +0100 |
| tree | fce59e500379b48affac999fa431619a277e5229 | |
| parent | ca867f292206008dbadbfb3b97ee5a6b1bd96b9b [diff] |
New regression test: externalized role in base-side of declared lifting (no failure observed).