X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=misc%2Fdecoder_test%2Ftest.h;fp=misc%2Fdecoder_test%2Ftest.h;h=56303f57bdaa86cb1e09324b678184fd000f1dcf;hp=0000000000000000000000000000000000000000;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/misc/decoder_test/test.h b/misc/decoder_test/test.h
new file mode 100644
index 0000000..56303f5
--- /dev/null
+++ b/misc/decoder_test/test.h
@@ -0,0 +1,23 @@
+#ifndef __TEST_H__
+#define __TEST_H__
+#include <stdlib.h>
+#include <stdio.h>
+#include "ktypes.h"
+
+#define PrintDebug printf
+#define PrintError printf
+
+#define V3_ASSERT(x)                                                    \
+  do {                                                                  \
+    if (!(x)) {                                                         \
+      PrintDebug("Failed assertion in %s: %s at %s, line %d, RA=%lx\n", \
+                 __func__, #x, __FILE__, __LINE__,                      \
+                 (ulong_t) __builtin_return_address(0));                \
+      while(1);                                                         \
+    }                                                                   \
+  } while(0)                                                            \
+    
+
+
+#endif
+