search

dvoits / z3test

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

Use already uploaded files from another person #38

Open dvoits opened 7 years ago

dvoits commented 7 years ago

As a developer of Z3, I want to run performance tests for 3rd party private benchmark files located in an Azure Blob storage so that I could check issues of Z3 users having private data.