From 78c896b3b3127515478090c19447e27dc406427e Mon Sep 17 00:00:00 2001 From: Jianfeng Tan Date: Mon, 18 Nov 2019 06:59:50 +0000 Subject: TLDKv2 Signed-off-by: Jianfeng Tan Signed-off-by: Jielong Zhou Signed-off-by: Jian Zhang Signed-off-by: Chen Zhao Change-Id: I55c39de4c6cd30f991f35631eb507f770230f08e --- test/packetdrill/assert.h | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/packetdrill/assert.h (limited to 'test/packetdrill/assert.h') 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 + +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) -- cgit 1.2.3-korg