search for: mcp_fork

...you look at the compiler output (see below), the volatile global variable, n, has vanished, with the printf output only ever taking the (constant) result 0. I somehow need to get around this, or my attempt to implement a C++ model checker is dead in the water. Thank you in advance, Sarah PS: mcp_fork() duplicates the current stack as a new thread, and returns true within that thread and false in the original thread. mcp_yield() forces a reschedule. Stacks are separate, but the heap is shared. My model checker generates correct output for the generated code, but the generated code has the wr...