Ejemplos de calibrate en Python

Ejemplo n.º 1

Archivo: calibrate.py Proyecto: dslab-epfl/chef-symbex-python

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)

Ejemplo n.º 2

Archivo: default.py Proyecto: dslab-epfl/chef-symbex-python

def main():
    symbex.calibrate(0)
    calibrate()
    symbex.calibrate(2)

Ejemplo n.º 3

Archivo: calibrate.py Proyecto: dslab-epfl/chef-symbex-python

def perform_calibration():
    symbex.calibrate(CalibrationOp.START)
    _sub_calibrate()
    symbex.calibrate(CalibrationOp.END)

Ejemplo n.º 4

Archivo: default.py Proyecto: dslab-epfl/chef-symbex-python

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)