creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

testsuite quirks

Open Armael opened this issue 1 year ago • 0 comments

Two testsuite quirks reported by @xldenis:

  1. cargo test --test why3 seems to always rebuild the git2 crate, it'd be nice to understand why
  2. 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.

Armael avatar Mar 28 '24 16:03 Armael