Represent the status of the taint at the point where it was requested.

It contains the last state known by the taint process, in addition to the status of the taint process (NotStarted, Running, Finished or Canceled).

Warnings

This object is not meant to be constructed directly. Use Taint.progress instead.

Examples

>>> # from taint object
>>> progress = taint.progress()
>>> # Get the progress of the taint
Method __init__ Undocumented
Method last_known_state Property: The last known state of the taint, After this state no result can be retrieved at the moment
Method status Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)
Method __repr__ Undocumented
def __init__(self, trace, taint_data, rvn_progress):
Undocumented
@property
def last_known_state(self):

Property: The last known state of the taint, After this state no result can be retrieved at the moment

Examples

>>> print(progress.last_known_state)
Taint state at Context before #2847570053

Information

ReturnsA TaintState instance.
@property
def status(self):

Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)

Examples

>>> print(progress.status)
ProgressStatus.Finished

Information

ReturnsA ProgressStatus instance.
def __repr__(self):
Undocumented
API Documentation for reven2, generated by pydoctor at 2020-09-17 15:57:23.