projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5b7cd08
)
action: fix uint64_t printf warning
author
Brian Norris
<banorris@uci.edu>
Tue, 17 Jul 2012 05:07:26 +0000
(22:07 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 17 Jul 2012 05:07:26 +0000
(22:07 -0700)
action.cc
patch
|
blob
|
history
diff --git
a/action.cc
b/action.cc
index adb31f8c39aaabfa06f2e954ff9b80e7ef650453..b5c72c0226aa8e562cf80cedd6444e2088bb19ba 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-1,4
+1,6
@@
#include <stdio.h>
#include <stdio.h>
+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>
#include "model.h"
#include "action.h"
#include "model.h"
#include "action.h"
@@
-180,7
+182,7
@@
void ModelAction::print(void) const
type_str = "unknown type";
}
type_str = "unknown type";
}
- printf("(%3d) Thread: %-2d Action: %-13s MO: %d Loc: %14p Value: %-
8u"
,
+ printf("(%3d) Thread: %-2d Action: %-13s MO: %d Loc: %14p Value: %-
12" PRIu64
,
seq_number, id_to_int(tid), type_str, order, location, value);
if (reads_from)
printf(" Rf: %d", reads_from->get_seq_number());
seq_number, id_to_int(tid), type_str, order, location, value);
if (reads_from)
printf(" Rf: %d", reads_from->get_seq_number());