From: Brian Norris <banorris@uci.edu>
Date: Thu, 14 Jun 2012 22:31:44 +0000 (-0700)
Subject: snapshot: refactor the fork-based stack initialization
X-Git-Tag: pldi2013~391^2~20
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=8b76d39eff3f6e27d416123292641ae36f88ca06;hp=8b76d39eff3f6e27d416123292641ae36f88ca06

snapshot: refactor the fork-based stack initialization

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.
---