projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
librace: format DEBUG() prints properly
[model-checker.git]
/
librace.cc
diff --git
a/librace.cc
b/librace.cc
index 1219bf3285b39505fec9a95530b80b4790fed9cc..42ed9c194d8134abc3980ac7651b81be3098669c 100644
(file)
--- a/
librace.cc
+++ b/
librace.cc
@@
-1,24
+1,27
@@
+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>
+
#include "librace.h"
#include "common.h"
void store_8(void *addr, uint8_t val)
{
#include "librace.h"
#include "common.h"
void store_8(void *addr, uint8_t val)
{
- DEBUG("addr = %p, val = %
u
\n", addr, val);
+ DEBUG("addr = %p, val = %
" PRIu8 "
\n", addr, val);
}
void store_16(void *addr, uint16_t val)
{
}
void store_16(void *addr, uint16_t val)
{
- DEBUG("addr = %p, val = %
u
\n", addr, val);
+ DEBUG("addr = %p, val = %
" PRIu16 "
\n", addr, val);
}
void store_32(void *addr, uint32_t val)
{
}
void store_32(void *addr, uint32_t val)
{
- DEBUG("addr = %p, val = %
u
\n", addr, val);
+ DEBUG("addr = %p, val = %
" PRIu32 "
\n", addr, val);
}
void store_64(void *addr, uint64_t val)
{
}
void store_64(void *addr, uint64_t val)
{
- DEBUG("addr = %p, val = %
llu
\n", addr, val);
+ DEBUG("addr = %p, val = %
" PRIu64 "
\n", addr, val);
}
uint8_t load_8(void *addr)
}
uint8_t load_8(void *addr)