projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 39c0de0)
model/action: move complicated read_from logic into model.cc
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:14:55 +0000 (18:14 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:26:48 +0000 (18:26 -0800)
The release sequence wrapper logic will only get more complicated, so
rather than spreading across two files and exporting more interfaces,
just integrate into ModelChecker.


No differences found
C11 Tester Tool Public Repository