def _sub_calibrate(): x = 0 y = 1 symbex.calibrate(CalibrationOp.CHECKPOINT, 0) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5) x += y y += y x *= 2 y /= 2 symbex.calibrate(CalibrationOp.CHECKPOINT, 5)
def main(): symbex.calibrate(0) calibrate() symbex.calibrate(2)
def perform_calibration(): symbex.calibrate(CalibrationOp.START) _sub_calibrate() symbex.calibrate(CalibrationOp.END)
def calibrate(): x = 0 y = 1 symbex.calibrate(1, 0) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5) x = x + y y = x + y x = x * 2 y = y / 2 symbex.calibrate(1, 5)