k-legacy icon indicating copy to clipboard operation
k-legacy copied to clipboard

Published 20 hours ago • verified publisher icon kframework

--coverage-file option does not work

Open kheradmand opened this issue 7 years ago • 1 comments

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 avatar May 04 '17 04:05 kheradmand

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 ?

kheradmand avatar May 04 '17 04:05 kheradmand