search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Build targets for profiling #271

Closed gtrepta closed 2 years ago

gtrepta commented 2 years ago

fixes: #270

ChristianoBraga commented 2 years ago

Maybe it could be useful to add something like

(To install perf: sudo apt-get install linux-tools-common linux-tools-generic linux-tools-uname -r.)