diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-08 12:35:53 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-08 16:12:03 +0100 |
| commit | 34d52eb3577fa329e4637409e8d602fd23ac126d (patch) | |
| tree | bf37dc0e2e3f7ae706f5f4c6d3acf80f60631ae0 /README | |
| parent | c8721369d1d3e6572138fa7aab65e54f68459db4 (diff) | |
Test #3655 was failing due to an anomaly. Now it rather has to fail
normally, so failure is now detected by removing the "Fail".
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions