> list</span></code></dt><dd><p>Do the whole fetch and execute cycle. Take the PC from the state, and fetch it's <a href="../Instr/index.html"><span>instruction</span></a> and then run it. It return the list of possible behavior of that instruction. Normally the union of the set of concrete states represented by this list of symbolic state cover all the defined behaviors of the fetched instruction from the initial state.</p><p>If the state is unlocked and the instruction is single trace, then the function m