| commit | 17325530baa57d9242c200a2618887f511003d57 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Oct 05 20:50:20 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Oct 05 20:50:20 2010 +0000 |
| tree | 3e97e3d77dcd429aef04d1f2b1ff40721742d01e | |
| parent | 92146db41b7cc934ae94655e5456451a7d71c2eb [diff] |
- added some comments linking tests to their bugs - disabled a few tests which are known to fail, corresonding bugs are open.