diff options
| author | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-05-02 15:12:50 +0200 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-05-02 15:12:50 +0200 |
| commit | 275f8561eb80a0f341fa2a03d731b239b1783da0 (patch) | |
| tree | 403251ec15f83b593e2ef6e2baca709033a0afb4 /doc/manual/src | |
| parent | 4845886bed18bb12dbfb7bf909b24cc49abd8da6 (diff) | |
tests/lang: Distinguish crashes from expected failures
Diffstat (limited to 'doc/manual/src')
0 files changed, 0 insertions, 0 deletions