prusti-dev
prusti-dev copied to clipboard
viperproject
Try disabling more complete exhale and see what happens.
At least on some examples, it seems that the more complete exhale does not have anymore its great effect on performance. Since it has incompletenesses, try disabling it.
@vakaras Since you are merging this, are you 100% sure the performance is overall better? Did @zgrannan get to test this?
@vakaras Since you are merging this, are you 100% sure the performance is overall better? Did @zgrannan get to test this?
Yes, he did.
![bors[bot] avatar](https://avatars.githubusercontent.com/in/1847?v=4 "Published by a pub.dev verified publisher"){kind=small}