--coverage-file option does not work
kheradmand opened this issue · 1 comments
kheradmand commented
I use --coverage-file <some-file> option with krun hoping to get coverage report, but I do not see any output file. Is it because the option does not work or am I missing something?
kheradmand commented
A quick look shows that the option does not work because the option (defined in KRunOptions.java) is not used anywhere in the project. But it seems that it was implemented in another commit (@5413919) by @daejunpark. Is it possible to merge that into current K ?