Simple profiling infractructure

runtimeverification / avm-semantics

BSD 3-Clause "New" or "Revised" License

15 stars 4 forks source link

Simple profiling infractructure #139

Closed geo2a closed 2 years ago

geo2a commented 2 years ago

Allow integration test to collect profiling information
Add an analysis script kavm/src/profiling/__main__.py
Update README with a profiling example

F-WRunTime commented 2 years ago

@geo2a @tothtamas28 Just happen to browsing this PR list. Wanted to add a note of info in case it wasn't well known. We have a gh runner with a label called performance -- if you would like to have a workflow that runs on this runner to create a baseline for performance/profiling please feel free to use. Let me know if you need any help setting up with it.