search

runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
9 stars 6 forks source link

Search rule-merging profiler option #109

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

Adds an option to search script to run rule-merge profiling.