dextool v4.0.0 (2021-09-08T15:39:18Z)
Dub
Repo
ReportJson.endFileEvent
dextool
plugin
mutate
backend
report
json
ReportJson
Undocumented in source. Be warned that the author may not have intended to support it.
class
ReportJson
@
trusted
void
endFileEvent
(
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
report
json
ReportJson
constructors
this
functions
endFileEvent
fileMutantEvent
getFileReportEvent
mutationKindEvent
postProcessEvent
variables
current_file
current_file_mutants
diff
fio
kinds
logDir
report
sections