projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 199026a) | patch
main/model: move full user-program execution to ModelChecker::run
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 03:32:22 +0000 (19:32 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 03:32:22 +0000 (19:32 -0800)
commit1a2fb82a5c26ec83fb05d0fa208662cf98f4758b
tree65c8cce8b4f59a80c24ba9f1e96d307a5f4317d9tree | snapshot
parent199026a7c70a7274d2dcf5b8eb25dbe13e4f8875commit | diff
main/model: move full user-program execution to ModelChecker::run

We don't really need the top-level ModelChecker execution loop to be in
main.cc; it should be exposed simply as a run() method.
main.cc diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository