Skip to content

Add a few utils script - #88

Merged
fantazio merged 3 commits into
LexiFi:masterfrom
fantazio:scripts
Jul 11, 2026
Merged

Add a few utils script#88
fantazio merged 3 commits into
LexiFi:masterfrom
fantazio:scripts

Conversation

@fantazio

@fantazio fantazio commented Jul 8, 2026

Copy link
Copy Markdown
Collaborator
  • reref.sh updates the .ref files to the new results
  • bench.sh benchmarks the analyzer on a given project with different flags, using time --verbose
  • compare_bench.ml compares bench.sh results

fantazio added 3 commits July 11, 2026 11:09
This script updates the scenarios' .ref files to the current results.
This script runs the dead_code_analyzer with different flags on a
project and benchmarks it using `time --verbose`. The results are stored
in the provided output directory (if any) or in the current directory.
This script prints out the results of 2 benchmarks, their absolute
difference and their relative difference.
@fantazio
fantazio merged commit 07a68dd into LexiFi:master Jul 11, 2026
5 checks passed
@fantazio
fantazio deleted the scripts branch July 15, 2026 08:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant