Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
authorBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:28:01 +0000 (22:28 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:28:01 +0000 (22:28 -0700)
action.cc

index adb31f8..b5c72c0 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -1,4 +1,6 @@
 #include <stdio.h>
+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>
 
 #include "model.h"
 #include "action.h"
@@ -180,7 +182,7 @@ void ModelAction::print(void) const
                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());