test/packetdrill/assert.h


1
2
3
4
5
6
7
8
9
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)