Method restore

src/examples/python/multi_threading.py:21–27

(self, ctx)

    def restore(self, ctx):
        # Restore concrete registers
        for rid, v in self.cregs.items():
            ctx.setConcreteRegisterValue(ctx.getRegister(rid), v)
        # Restore symbolic registers
        for rid, e in self.sregs.items():
            ctx.assignSymbolicExpressionToRegister(e, ctx.getRegister(rid))


if __name__ == "__main__":