dextool v5.0.0 (2022-12-09T08:28:15Z)
Dub
Repo
ReportJson.diff
dextool
plugin
mutate
backend
report
json
ReportJson
Undocumented in source.
class
ReportJson
Diff
diff
;
Meta
Source
See Implementation
dextool
plugin
mutate
backend
report
json
ReportJson
constructors
this
functions
endFileEvent
fileMutantEvent
getFileReportEvent
postProcessEvent
variables
currentFile
currentFileMutants
diff
fio
logDir
report
sections