| commit | 99b1531054168e03174c6b9c09cce80517d1162f | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 11:41:43 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 11:41:43 2010 +0000 |
| tree | 62a8383092406786cc10e64567cb04f645677006 | |
| parent | e08108b03d50f78543da3f395a78b035cd795bed [diff] |
(from 1.4.0 branch:) This unexpected control flow was recently observed. * Harness with better error message * Try to avoid seemingly false alarm