dextool v5.0.0 (2022-12-09T08:28:15Z)
Dub
Repo
DbMutant.increaseFilePrio
dextool
plugin
mutate
backend
database
standalone
DbMutant
Undocumented in source. Be warned that the author may not have intended to support it.
struct
DbMutant
void
increaseFilePrio
(
Path
prioFile
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
database
standalone
DbMutant
aliases
aliveNoMutSrcMutants
aliveSrcMutants
equivalentMutants
killedByCompilerSrcMutants
killedSrcMutants
memOverloadMutants
noCovSrcMutants
skippedMutants
timeoutSrcMutants
totalSrcMutants
unknownSrcMutants
functions
db
exists
getAllMutationStatus
getAllTestCaseKills
getHighestPrioMutant
getKind
getLatestMutantTimes
getLatestMutants
getMutantInfo
getMutantMetaData
getMutantsInfo
getMutation
getMutationStatus
getMutationStatus2
getMutationsOnLine
getOldestMutants
getPath
getSurroundingAliveMutants
increaseFilePrio
mutantsInRegion
put
relate
removeMutant
removeOrphanedMutants
resetMutant
update