diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-06-19 10:29:24 -0400 |
|---|---|---|
| committer |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-06-25 11:26:08 +0000 |
| commit | 5dd6a7b29f23b89aaad4fdaba0579ca5b37d7929 (patch) | |
| tree | 022629af8673c454165d733a1f00b28a9f516294 /.gitreview | |
| parent | 08d82e98cdf75c810659fcb347e89198cf7b0bc5 (diff) | |
tests: if vpp is dead, specify the test name in the output
'Exception: VPP is dead when setting up the test'
is more helpful with the test info.
Type: test
Change-Id: I6a262fdcf2ecb33aae17bef3d19745053a0bade8
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions