TGViewer
Solidity Treasures Solidity Treasures @soliditypedia · 4.28K subscribers
Post #585 373
Foundry v1.8.0 makes isolate mode and dynamic test linking the defaults

Two changes that alter how your suite runs, not just a version bump:

Isolate mode is now default. Each top-level call executes as its own transaction, so gas accounting and warm/cold storage costs match mainnet instead of collapsing into one frame. Tests that silently under-reported gas will shift.

Native symbolic testing (opt-in preview). Prove properties over all inputs, not just fuzzed samples — symbolic execution moving into the same harness you already run. Mutation testing lands alongside it to score how much your tests actually catch.

The language server (solar) is now embedded in Forge, and dynamic test linking speeds recompiles on large repos.

Re-run gas snapshots after upgrading: isolate mode will change the numbers.

foundry-rs/foundry v1.8.0
@soliditypedia
GitHub Release v1.8.0 · foundry-rs/foundry Foundry v1.8.0 Foundry v1.8.0 ships an opt-in preview of native symbolic testing, mutation testing, and major fuzzing and invariant improvements, while making isolate mode and dynamic test linking ...
  • 👍 2
  • 🔥 1
More from @soliditypedia
  1. Sep 22, 2026Deploy at the same address on every chain, without shipping initcode. Plain CREATE2 ties t…
  2. Sep 18, 2026An on-chain guard for AI-agent transactions moves the trust to whoever signs the attestati…
  3. Sep 16, 2026A generalized MEV bot beat the attacker to the rsETH exploit in the same block When the ex…
  4. Sep 15, 2026Public-mempool gas sponsorship can't have all three: no locked money, no off-chain trust,…
  5. Sep 13, 2026A QEMU/KVM sandbox is not a boundary for a cyber-capable agent Trail of Bits gave a fronti…
  6. Sep 12, 2026This week in Solidity Allbridge halted its core bridge after a $1.65M exploit: a $1.12M Ka…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →