diff options
| author |   Jianfeng Tan <henry.tjf@antfin.com> | 2019-11-18 06:59:50 +0000 |
|---|---|---|
| committer | Jianfeng Tan <henry.tjf@antfin.com> | 2020-03-05 01:31:33 +0800 |
| commit | 78c896b3b3127515478090c19447e27dc406427e (patch) | |
| tree | d6d67d4683e9ca0409f9984a834547a572fb5310 /test/packetdrill/assert.h | |
| parent | e4380f4866091fd92a7a57667dd938a99144f9cd (diff) | |
TLDKv2dev-next-socket
Signed-off-by: Jianfeng Tan <henry.tjf@antfin.com>
Signed-off-by: Jielong Zhou <jielong.zjl@antfin.com>
Signed-off-by: Jian Zhang <wuzai.zj@antfin.com>
Signed-off-by: Chen Zhao <winters.zc@antfin.com>
Change-Id: I55c39de4c6cd30f991f35631eb507f770230f08e
Diffstat (limited to 'test/packetdrill/assert.h')
| -rw-r--r-- | test/packetdrill/assert.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/packetdrill/assert.h b/test/packetdrill/assert.h new file mode 100644 index 0000000..9d03822 --- /dev/null +++ b/test/packetdrill/assert.h @@ -0,0 +1,10 @@ +#include <stdio.h> + +extern void __attribute__((noreturn)) die(char *format, ...); + +#define assert(expr) \ + do { \ + if (!(expr)) \ + die("assertion %s failed at %s line %d",\ + __STRING(expr), __FILE__, __LINE__);\ + } while (0) |