Fail verification if contract is vacuous#3623

Closed

carolynzech wants to merge 10 commits intomodel-checking:mainfrom

carolynzech:contract-vacuity

Commits on Oct 19, 2024

fail verification if contract preconditions are unsat
Carolyn Zech
committed

Commits on Oct 21, 2024

fix tests
Carolyn Zech
committed
Merge branch 'main' into contract-vacuity
Carolyn Zech
authored
simplify condition
Carolyn Zech
committed

Commits on Oct 29, 2024

contract_cover
Carolyn Zech
committed
Merge branch 'main' into contract-vacuity
Carolyn Zech
authored
Update library/kani_macros/src/sysroot/contracts/mod.rs
Carolyn Zech
authored

Commits on Oct 30, 2024

Merge branch 'main' into contract-vacuity
Carolyn Zech
authored
only fail for undetermined if there are unwinding failures; fix docs
Carolyn Zech
committed
docs
Carolyn Zech
committed