Update vtable restrictions once CBMC side lands.

model-checking / kani

Kani Rust Verifier

https://model-checking.github.io/kani

Apache License 2.0

2.22k stars 89 forks source link

Open avanhatt opened 2 years ago

avanhatt commented 2 years ago

[x] Update minimum CBMC version.
[ ] Enable fixme unit tests under src/test/rmc/DynTrait/*_fixme.rs.
[ ] Add unit test for InternedString deserialization.
[ ] Move flag check inside block, as listed here: https://github.com/model-checking/rmc/pull/536

tautschnig commented 2 years ago

diffblue/cbmc#6376 has finally been merged, and will be part of the next CBMC release (5.46.0, due to be released 2021-12-09).

tautschnig commented 2 years ago

CBMC 5.46.0 has now been released.