search

dvoits / z3test

Test and benchmark repository for Z3.
Other
0 stars 0 forks source link

Document deployment of performance tests #10

Open dvoits opened 7 years ago

dvoits commented 7 years ago

As a developer of a command-line tool, I want to deploy and schedule performance tests, so that I could see how code changes affect the performance.