Commit 9b9c970

committed

add Kani harnesses for boxed challenge 29

1 parent 2f8269d commit 9b9c970Copy full SHA for 9b9c970

4 files changed

library
- Cargo.lock
- alloc/src
  - boxed.rs
  - boxed
    - convert.rs
    - thin.rs

`‎library/Cargo.lock‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)