From 63aebed6c2e0ce275273af5a3becd1b8ade2c412 Mon Sep 17 00:00:00 2001 From: rjust Date: Sat, 2 Nov 2024 19:11:14 -0700 Subject: [PATCH] Update README. --- framework/test/README.md | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/framework/test/README.md b/framework/test/README.md index 90ecfb87f..15ac7cc67 100644 --- a/framework/test/README.md +++ b/framework/test/README.md @@ -81,14 +81,20 @@ Reproducing all bugs (20 jobs in parallel) takes ~3h. ``` ./jobs_cmd.pl ./test_coverage_cmd.sh | shuf | parallel -j20 --progress ``` -Running code coverage on all bugs (20 jobs in parallel) takes ~45min. +Running code coverage on all bugs (20 jobs in parallel) takes ~30min. + +### Mutation analysis for all bugs (parallel) +``` +./jobs_cmd.pl ./get_stats.sh | shuf | parallel -j20 --progress +``` +Obtaining code-level stats for all bugs (20 jobs in parallel) takes ~45min. ### Mutation analysis for all bugs (parallel) ``` ./jobs_cmd.pl ./test_mutation_cmd.sh | shuf | parallel -j20 --progress ``` -Running mutation analysis on all bugs (20 jobs in parallel) takes many hours -(due to a few long-running analyses). +Running mutation analysis on all bugs (20 jobs in parallel) takes ~24h (a few +bugs have a very long analysis time). ### Export command and exported properties ```