search

dwrensha / seer

symbolic execution engine for Rust
Other
345 stars 7 forks source link

base64 example in README no longer works without xargo-built libstd #1

Closed dwrensha closed 7 years ago

dwrensha commented 7 years ago

It now hits the error NoMirFor("alloc::allocator::Layout::from_size_align"). It looks like this is due to https://github.com/rust-lang/rust/pull/42313.

dwrensha commented 7 years ago

Fixed in https://github.com/dwrensha/seer/commit/9c9b572f5b856676e3b65413237e5e81d35981c3.