Skip to content

caching performance

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@count_caching_values into master

Issue: #3 (closed)

Create a tool to evaluate the caching performance as a CSV.

How to use

dune build _build/default/tools/pleb_count_caching_values.exe
_build/default/tools/pleb_count_caching_values.exe [PLEBEIA_CONTEXT_FILE] > output.csv

Result

The difference in storage usage when caching values and when not caching it is as follows:

Merge request reports