| commit | 0ce4260e87a722cbd79144b109595922c35a02e9 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Jul 20 21:33:47 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Jul 20 21:33:47 2010 +0000 |
| tree | 455885dadd070845abb3b8ad0f49c90af1dff94b | |
| parent | 4466499233a2af91d9393f72d199bb1803f96aa4 [diff] |
change test harness to challenge the chached options.