projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88e927c) | patch
model: flesh out set_backtracking()
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:02:48 +0000 (11:02 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:02:48 +0000 (11:02 -0700)
commit8fc5d0e4410b56a1e17e8e219397abf53f8ba462
treeb4f270eb959d63ab4395b84d5c964c90b7207bb5tree | snapshot
parent88e927cbc95771540c3ff7b905a84dbd8f37323ccommit | diff
model: flesh out set_backtracking()

Relies on stub get_last_conflict() function.

Note: so far, implementing based on seq_cst model, not the full memory model...
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository