dextool v5.0.0 (2022-12-09T08:28:15Z)
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
ChecksumTestCmdMutated
ChecksumTestCmdOriginal
CoverageRegionId
FileId
LineAttr
MutantAttr
MutantPrio
MutantTimeoutCtx
MutationId
MutationStatusId
Rationale
SchemataFragmentId
SchemataId
TestCaseId
TestFileChecksum
TestFileId
TestFilePath
ToolVersion
functions
toChecksum
toMutationStatusId
structs
CovRegion
CovRegionStatus
DepFile
FileScore
LineMetadata
MarkedMutant
MetadataNoMutEntry
MutantInfo
MutantInfo2
MutantMetaData
MutantTestTime
MutationEntry
MutationPointEntry
MutationPointEntry2
MutationReportEntry
MutationScore
MutationStatus
MutationStatusTime
NextMutationEntry
NoMetadata
NoMut
SchemaFragmentV2
Schemata
SchemataFragment
TestCaseInfo
TestCaseInfo2
TestCmdRuntime
TestFile
WorklistItem
Metadata attributes that may be attached to a mutant.