dextool v4.0.0 (2021-09-08T15:39:18Z)
Dub
Repo
ReportJson.report
dextool
plugin
mutate
backend
report
json
ReportJson
Undocumented in source.
class
ReportJson
JSONValue
report
;
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