You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Most of Mythril's solver queries can be solved by using its previous state's solution of path condition. Preliminary results show that simply caching using an LRU improves the performance by 30%-50%. So, we can compare this against the branch optimisation.
The text was updated successfully, but these errors were encountered:
Description
Most of Mythril's solver queries can be solved by using its previous state's solution of path condition. Preliminary results show that simply caching using an LRU improves the performance by 30%-50%. So, we can compare this against the branch optimisation.
The text was updated successfully, but these errors were encountered: