diff options
| author | Xavier Clerc | 2014-10-03 17:18:23 +0200 |
|---|---|---|
| committer | Xavier Clerc | 2014-10-03 17:18:23 +0200 |
| commit | dc2b5eeb89835016e4bd6b8b5de401692d4957a4 (patch) | |
| tree | c4e63a5a359f9c7d61c2520c187c7bbddf78c67d /lib/cArray.ml | |
| parent | 0bc5690260483be052f86b73ee3a73fe62a5110c (diff) | |
Classify segfaults as failures in opened bugs
Diffstat (limited to 'lib/cArray.ml')
0 files changed, 0 insertions, 0 deletions