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
Running cargo-prusti on the crate 033_unicode-normalization uses too much memory.
The reason is probably that PathCtxt now has its own copy of EventLog.
When cloning EventLog, we should at least share the immutable entries of EventLog::prejoin_actions.
The text was updated successfully, but these errors were encountered:
Running
cargo-prusti
on the crate033_unicode-normalization
uses too much memory.The reason is probably that
PathCtxt
now has its own copy ofEventLog
.When cloning
EventLog
, we should at least share the immutable entries ofEventLog::prejoin_actions
.The text was updated successfully, but these errors were encountered: