pmreorder is a standalone python tool that performs consistency check of persistent programs using a store reordering mechanism.
See the pmreorder man page for current master documentation and examples or see older versions: