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=0000000000000000000000000000000000000000;hp=56303f57bdaa86cb1e09324b678184fd000f1dcf;hb=7a6cd49101201e207daf7113a9048193835cebaf;hpb=320320a1c8681f2d8258a03dd087b3aed18b48a1

diff --git a/misc/decoder_test/test.h b/misc/decoder_test/test.h
deleted file mode 100644
index 56303f5..0000000
--- a/misc/decoder_test/test.h
+++ /dev/null
@@ -1,23 +0,0 @@
-#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
-