dextool v2.0.0-rc.2 (2020-01-29T20:47:13Z)
Dub
Repo
MutantAttr
dextool
plugin
mutate
backend
database
type
Metadata attributes that may be attached to a mutant.
@
safe
alias
MutantAttr
=
SumType
!(
NoMetadata
,
NoMut
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
database
type
aliases
LineAttr
MutantAttr
MutantTimeoutCtx
structs
FileId
LineMetadata
MarkedMutant
MetadataNoMutEntry
MutantInfo
MutantMetaData
MutationEntry
MutationId
MutationPointEntry
MutationPointEntry2
MutationReportEntry
MutationStatus
MutationStatusId
MutationStatusTime
NextMutationEntry
NoMetadata
NoMut
Rationale
TestCaseId
TestCaseInfo
TestCaseInfo2
Metadata attributes that may be attached to a mutant.