projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 767599b) | patch
nodestack: remove unnecessary conditional
authorBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 19:46:14 +0000 (12:46 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 20:30:43 +0000 (13:30 -0700)
commitcb7aad2ea56679749de498472b5ee6c1471cf8f2
tree1d5b66d23ba00891db397c60ba5f6c1f0a03f24ftree | snapshot
parent767599b6384b8b81044abd41c30cb1f5557fd068commit | diff
nodestack: remove unnecessary conditional

I expect that we should never have a totally-empty NodeStack. It is designed
such that there is a stub 'empty' node that represents the choices at the start
of the program, when the first userprogram thread is 'created' (note: there is
no corresponding ModelAction for this first creation).
nodestack.cc diff | blob | history
C11 Tester Tool Public Repository