jasder
/
home
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update README.md

This commit is contained in:
The-Themis-Benchmarks 2021-06-05 11:27:33 +08:00 committed by GitHub
parent 9c7096ba3c
commit 4b92d1b2f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -882,6 +882,8 @@ optional arguments:
compute the average coverage of all runs
```
By leveraging the results, one can inspect the detailed coverage report generated by Jacoco.
### 5. Oher research purposes
Themis can also benefit other research (e.g., fault localization, program repair, etc.)