projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f69627b) | patch
model: flesh out check_current_action()
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:00:55 +0000 (11:00 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:00:55 +0000 (11:00 -0700)
commit88e927cbc95771540c3ff7b905a84dbd8f37323c
treef224108be7dddcc163270d75a24acd765105b2f2tree | snapshot
parentf69627bb829fdf0c601de820c4418d30edb41d57commit | diff
model: flesh out check_current_action()

Relies on a stub set_backtracking() function.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker