projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c8ec8c) | patch
libthreads: perform 'model checking' when moving to next thread
authorBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:25:34 +0000 (15:25 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:50:15 +0000 (15:50 -0700)
commitad1c474f5a633940b6732a883f425dcf32760469
tree713e40383389a626790ca5bce198047821a2f5a2tree | snapshot
parent0c8ec8cc34f3ed7ab5398c65d58129e604b73920commit | diff
libthreads: perform 'model checking' when moving to next thread

Simply use the hollow 'check_current_action()' interface to perform model
checking in the thread_system_next() call.

Right now, this just adds the previous (a.k.a. 'current') action to our log.
libthreads.cc diff | blob | history
C++11 memory model checker