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
cargo test --test why3 seems to always rebuild the git2 crate, it'd be nice to understand why
cargo test --test ui takes a lot of time because it rebuilds creusot-contracts and cargo creusot (+ other stuff?) several times. We should figure out what is going on.
The text was updated successfully, but these errors were encountered:
Two testsuite quirks reported by @xldenis:
cargo test --test why3
seems to always rebuild thegit2
crate, it'd be nice to understand whycargo test --test ui
takes a lot of time because it rebuilds creusot-contracts and cargo creusot (+ other stuff?) several times. We should figure out what is going on.The text was updated successfully, but these errors were encountered: