flitsr.ranking.Tiebrk

class flitsr.ranking.Tiebrk(*values)

Bases: Enum

An Enum for the tie-breaking method to be used.

__init__(*args, **kwds)

Attributes

EXEC

Tie break only using execution counts.

RNDM

Tie break randomly.

ORIG

Tie break using the original SBFL ranking, then execution counts.

EXEC = 1

Tie break only using execution counts.

ORIG = 3

Tie break using the original SBFL ranking, then execution counts.

RNDM = 2

Tie break randomly. Note, this will cause non-deterministic output.