projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b09522) | patch
model: convert 'action_trace' to pointer
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 19:56:21 +0000 (12:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 19:56:21 +0000 (12:56 -0700)
commit298510d3ab0dc8280e9648c7b13e7c77258e9f3b
treeb6cf7878eae3ccdff2c4e3f6b610b509cffaca3ctree | snapshot
parent9b0952262f756e69a0ef04558107c8cecdccb9cecommit | diff
model: convert 'action_trace' to pointer

We need to swap out this list with a new one when we reset, and we want to
retain references to this list easily, so make the ModelChecker::action_trace
member into a pointer to a list.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker