projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 8b76d39)
snapshot: refactor the fork-based stack initialization
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 22:31:44 +0000 (15:31 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 22:41:39 +0000 (15:41 -0700)
This complicated code block uses a getcontext()/setcontext() pair with an
'alreadySwapped' boolean (int) to perform basically the same functionality as
'swapcontext()'. Refactor this code to make it simpler.


No differences found
C++11 memory model checker