module greed.exploration_techniques.heartbeat

class HeartBeat

This Exploration technique implements a Classic heartbeat. The heartbeat file will be logged during init. Delete such file to stop the heartbeat and get an ipdb shell.

Args:

  • beat_interval: the number of steps between heartbeats
  • show_op: show the current operation during the heartbeat

method __init__

__init__(beat_interval=100, show_op=False)

method change_beat

change_beat(new_beat_interval)

Change the beat interval.

Args:

  • new_beat_interval: the new beat interval.

method check_successors

check_successors(simgr, successors)

Check if the heartbeat should be printed.

Args:

  • simgr: the simulation manager
  • successors: the successors to check

This file was automatically generated via lazydocs.