dextool v4.1.0 (2022-02-08T10:56:02Z)
Dub
Repo
DbMarkMutant.isMarked
dextool
plugin
mutate
backend
database
standalone
DbMarkMutant
Undocumented in source. Be warned that the author may not have intended to support it.
struct
DbMarkMutant
@
trusted
bool
isMarked
(
MutationId
id
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
database
standalone
DbMarkMutant
functions
getLostMarkings
getMarkedMutants
isMarked
markMutant
removeMarkedMutant