projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be86dd6) | patch
model: move class Backtrack to model.cc
authorBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 18:46:27 +0000 (11:46 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 18:47:50 +0000 (11:47 -0700)
commita6017fe478a3087152beb4b7d3da99b3be54d41c
tree01f45fdf04a73aabe02033de69275ba3f87b15dftree | snapshot
parentbe86dd6ef8bd6194f13b0babaa03fd45d39ff767commit | diff
model: move class Backtrack to model.cc

Backtrack is only used within model.{cc,h}, so make it an "inner class."
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker