projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 495dd30)
model: add special model-checker Thread to ModelChecker
authorBrian Norris <banorris@uci.edu>
Sat, 6 Oct 2012 02:18:13 +0000 (19:18 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
Note the change in take_step(), so that we base the "current thread" off
of the provided ModelAction, rather than thread_current() (i.e., the
Scheduler). This is because the Scheduler will never run the
model-checker thread.


No differences found
C++11 memory model checker