dextool v4.0.0 (2021-09-08T15:39:18Z)
Dub
Repo
DbWorklist.updateWorklist
dextool
plugin
mutate
backend
database
standalone
DbWorklist
Add all mutants with the specific status to the worklist.
struct
DbWorklist
@
trusted
void
updateWorklist
(
const
Mutation.Kind
[]
kinds
,
const
Mutation.Status
[]
status
,
const
long
basePrio
= 100
,
const
MutationOrder
userOrder
=
MutationOrder.random
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
database
standalone
DbWorklist
functions
addToWorklist
clearWorklist
getWorklistCount
removeFromWorklist
updateWorklist
Add all mutants with the specific status to the worklist.