dextool v5.0.0 (2022-12-09T08:28:15Z)
Dub
Repo
DbWorklist.update
dextool
plugin
mutate
backend
database
standalone
DbWorklist
Add all mutants with the specific status to the worklist.
struct
DbWorklist
@
trusted
void
update
(
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
add
clear
db
getAll
getCount
remove
statusToWorklist
update
Add all mutants with the specific status to the worklist.