1. A system, comprising: a test module operable to coordinate execution of a test program on a test platform; and an analysis module operable to: represent memory operations performed during the execution as nodes of a directed graph; add edges to the directed graph representing ordering relationships between the memory operations; traverse one or more existing edges of a directed graph, starting from a first node of the directed graph, to infer whether an additional edge is to be added to the directed graph; perform a backtracking procedure to return to a prior choice point and make an alternate choice, if additional edges are not inferred; and detect that the results violate the memory consistency model if a cycle is found in the directed graph.