projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e57dd43) | patch
model: print 'number of executions'
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 00:14:45 +0000 (17:14 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 00:14:45 +0000 (17:14 -0700)
commit6c25cb78e05b059e0b57a6cf9cfd5637c58d936b
tree840bd1868c92d2ad9d030e9109912c8b0ec6581atree | snapshot
parente57dd436704ed24dc97c7fea2fbb59e26ae90ec2commit | diff
model: print 'number of executions'

In preparation of many executions, I establish a counting variable
'num_executions'.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker