Log in Get started

Back to Foundry

Symbolic Zero Witness

.changelog/symbolic-zero-witness.md

1.8.188 B

Original Source

Sped up symbolic tests by validating an all-zero witness before invoking the SMT solver.